Forskning ved Københavns Universitet - Københavns Universitet

Forside

Compiler Verification in LF

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

  • John Hannan
  • F. Pfenning
OriginalsprogEngelsk
TitelProceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
ForlagIEEE Computer Science Press
Publikationsdato1992
StatusUdgivet - 1992

ID: 286659