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

0302-9743 (ISSN)

Vol. 201 334-349

Ämneskategorier

Datavetenskap (datalogi)

ISBN

3-540-15975-4

Mer information

Skapat

2017-10-07