Proceedings of ACM conference on Proving assertions about programs /

Gespeichert in:
Körperschaft:
ACM Digital Library
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
New York, New York : Association for Computing Machinery, 1972.
Umfang:
1 online resource (215 pages)
Schlagworte:
Electronic data processing.
Bezugswerke: