The Weakest Prespecification II

Bibliographische Detailangaben
Hauptverfasser: Hoare, C, He, J
Format: Journal article
Veröffentlicht: 1986

Ähnliche Einträge