The Weakest Prespecification II

Detalles Bibliográficos
Autores principales: Hoare, C, He, J
Formato: Journal article
Publicado: 1986