The Weakest Prespecification II

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

Registros relacionados