Program Verification In A Logical Theory Of Constructions
Paper in proceeding, 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-3493-540-15975-4 (ISBN)
Subject Categories
Computer Science
ISBN
3-540-15975-4