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.

Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia ; Steinhöfel, Dominic
Guerra, Esther ; Stoelinga, Marielle (eds.) (2021):
Certified Abstract Cost Analysis.
In: Lecture Notes in Computer Science, 12649, In: Fundamental Approaches to Software Engineering, pp. 24-45,
Springer, 24th International Conference of the European Joint Conferences on Theory and Practice of Software, virtual Conference, 27.03.-01.04.2021, DOI: 10.1007/978-3-030-71500-7\_2,
[Conference or Workshop Item]

This list was generated on Sat Sep 24 05:01:26 2022 CEST.