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
Jump to: 2020 | 2007
Number of items: 2.

2020

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

2007

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

This list was generated on Wed Mar 27 19:14:17 2024 CET.