TU Darmstadt
ULB
TUprints
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: 2009
Number of items at this level (without sub-levels): 1.
2009
Aderhold, Markus Axel (2009)
Verification of Second-Order Functional Programs.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication