Proceedings of ACM conference on Proving assertions about programs

Detalles Bibliográficos
Formato: Electrónico Libro
Idioma:English
Publicado: Association for Computing Machinery (ACM), 1/6/72
Subjects:
Acceso en liña:Full text available on Research4Life (ACM)
Classic Catalogue: View this record in Classic Catalogue

Títulos similares