Forskning ved Københavns Universitet - Københavns Universitet

Forside

A Compositional Semantics of Combining Forms for Gamma Programs

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

  • D. Sands
OriginalsprogEngelsk
TitelInternational Conference on Formal Methods in Programming and Their Applications
ForlagLNCS
Publikationsdato1993
StatusUdgivet - 1993

ID: 273855