Items where Division is "20 Department of Computer Science > Programming Methodology" and Year is [pin missing: value2]
 | Up a level |
- TU Darmstadt (1)
- 20 Department of Computer Science (1)
- Programming Methodology (1)
- 20 Department of Computer Science (1)
Jump to: A
Number of items at this level (without sub-levels): 1.
A
Aderhold, Markus Axel (2009):
Verification of Second-Order Functional Programs.
Darmstadt, Technische Universität,
[Ph.D. Thesis]
Drucken
Impressum