TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 1.

Aderhold, Markus
Esparza, J. and Majumdar, R. (eds.) (2010):
Automated Termination Analysis for Programs with Second-Order Recursion.
In: 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS-16), Springer, In: LNCS 6015, [Conference or Workshop Item]

This list was generated on Sat Aug 17 01:11:45 2019 CEST.