The Weakest Prespecification II

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