A hierarchical technique for mechanical theorem proving and its application to programming language design.
Publisher: Courant Institute of Mathematical Sciences, New York University
Published: 1976
Place of publication: New York
Language: eng
Number of pages: 172