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 |
Drucken
Impressum