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