TU Darmstadt / ULB / TUbiblio

Context dependent procedures and computed types in veriFun

Schlosser, A. ; Walther, C. ; Gonder, M. ; Aderhold, Markus :
Context dependent procedures and computed types in veriFun.
In: Electronic Notes in Theoretical Computer Science (ENTCS), 174 pp. 61-78.
[Artikel], (2007)

Typ des Eintrags: Artikel
Erschienen: 2007
Autor(en): Schlosser, A. ; Walther, C. ; Gonder, M. ; Aderhold, Markus
Titel: Context dependent procedures and computed types in veriFun
Sprache: Englisch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Electronic Notes in Theoretical Computer Science (ENTCS)
Band: 174
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 20 Nov 2008 08:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen