Forskning ved Københavns Universitet - Københavns Universitet

Forside

Three notions of proof

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  • Peter Naur
OriginalsprogEngelsk
TitelProc. of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Danmark
Udgivelses stedAmsterdam
ForlagNorth-Holland
Publikationsdato1992
Sider97-101
StatusUdgivet - 1992

ID: 284417