Items where Division is "20 Department of Computer Science > Programming Methodology" and Year is [pin missing: value2]

Group by: Creators | Date | Item Type | Language | No Grouping

Number of items at this level (without sub-levels): 1.

Aderhold, Markus Axel (2009)
Verification of Second-Order Functional Programs.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

This list was generated on Sat Dec 21 00:08:48 2024 CET.

OAI 2.0 -Basis-URL: https://tuprints.ulb.tu-darmstadt.de/cgi /oai2 TUprints verwendet EPrints 3 .

Export as	Atom RSS 1.0 RSS 2.0