TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springe zu: Englisch
Anzahl der Einträge: 1.

Englisch

Lorenzen, Florian ; Erdweg, Sebastian (2013)
Modular and automated type-soundness verification for language extensions.
doi: 10.1145/2500365.2500596
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 04:37:46 2024 CET generiert.