Formal specification as a design tool.

Authors :: Guttag, John
Horning, J. J.
Source :: Proceedings of the 7th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/28/1980, p251-261, 11p
Publication Year :: 1980

Language :: English
ISBNs :: 9780897910118
Database :: Complementary Index
Journal :: Proceedings of the 7th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages
Publication Type :: Conference
Accession number :: 83643807
Full Text :: https://doi.org/10.1145/567446.567471