The Weakest Prespecification

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