The Weakest Prespecification II

Dades bibliogràfiques
Autors principals: Hoare, C, He, J
Format: Journal article
Publicat: 1986