The Weakest Prespecification II

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