The Weakest Prespecification

Detalhes bibliográficos
Principais autores: Hoare, C, He, J
Formato: Journal article
Publicado em: 1987