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
Ph.D. Thesis, Primary publication

This list was generated on Mon Feb 26 14:13:13 2024 CET.