Program Verification In A Logical Theory Of Constructions
Paper in proceedings, 1985
Author
Peter Dybjer
University of Gothenburg
Department of computer science
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 201 334-349Subject Categories
Computer Science
ISBN
3-540-15975-4