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-349

Subject Categories

Computer Science

ISBN

3-540-15975-4

More information

Created

10/7/2017