The Weakest Prespecification

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς: Hoare, C, He, J
Μορφή: Journal article
Έκδοση: 1987