Program Verification In A Logical Theory Of Constructions
Paper i proceeding, 1985
Författare
Peter Dybjer
Göteborgs universitet
Institutionen för informationsbehandling
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)
Ämneskategorier
Datavetenskap (datalogi)
ISBN
3-540-15975-4