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.

Article

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

Ph.D. Thesis

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

This list was generated on Fri Feb 23 01:45:19 2024 CET.