Showing 1 - 1 results of 1 for search 'Dykstra, Josiah', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  1. 1

    Software verification and validation with destiny a parallel approach to automated theorem proving. द्वारा Dykstra, Josiah

    में प्रकाशित Crossroads : the ACM student magazine.
    लेख

    Software verification and validation with destiny a parallel approach to automated theorem proving.

खोज साधन: