Forskning ved Københavns Universitet - Københavns Universitet

Forside

Mechanically verifying the correctness of an offline partial evaluator

Publikation: Bog/antologi/afhandling/rapportRapportFormidling

  • John Hatcliff
DIKU-rapport 95/14
OriginalsprogEngelsk
Udgivelses stedDatalogisk Institut, Københavns Universitet
StatusUdgivet - 1996

ID: 23148