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

Ämneskategorier

Datavetenskap (datalogi)

ISBN

3-540-15975-4

Mer information

Skapat

2017-10-07