TU Darmstadt / ULB / TUprints

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
Number of items: 2.

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2020)
Incremental Confined Types Analysis.
In: Electronic Notes in Theoretical Computer Science, 2006, 164 (2)
doi: 10.25534/tuprints-00014558
Article, Secondary publication, Publisher's Version

Eichberg, Michael (2007)
Open Integrated Development and Analysis Environments.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

This list was generated on Fri Mar 29 15:02:07 2024 CET.