TU Darmstadt / ULB / TUbiblio

Context dependent procedures and computed types in veriFun

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

Item Type: Article
Erschienen: 2007
Creators: Schlosser, A. and Walther, C. and Gonder, M. and Aderhold, Markus
Title: Context dependent procedures and computed types in veriFun
Language: English
Journal or Publication Title: Electronic Notes in Theoretical Computer Science (ENTCS)
Volume: 174
Divisions: 20 Department of Computer Science
Date Deposited: 20 Nov 2008 08:25
License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item