Εμφανίζονται 1 - 1 Αποτελέσματα από 1 για την αναζήτηση '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.

Εργαλεία αναζήτησης: