The Weakest Prespecification

Detalles Bibliográficos
Main Authors: Hoare, C, He, J
Formato: Journal article
Publicado: 1987