deutsch
english
Publikationsansicht
38075587
Predictable and Reliable Program Code: Virtual Machine-Based Projection Semantics (2007)
Bergstra, J.A.
,
Bethke, I.
Details der Publikation
Download
http://dare.uva.nl/record/286049
Herausgeber
Elsevier
Mitarbeiter
Bergstra, J.A., Burgess, M.
Archiv
Publications of the Universiteit van Amsterdam (Netherlands)
Typ
Part of book or chapter of book