Εμφανίζονται 1 - 1 Αποτελέσματα από 1 για την αναζήτηση 'Kulczycki, Gregory', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1

    A specification-based approach to reasoning about pointers. ανά Kulczycki, Gregory

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    A specification-based approach to reasoning about pointers.

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