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


Steinhöfel, Dominic
Ábrahám, Erika ; Tarifa, Lizeth Tapia (eds.) (2017):
Assessing the Coverage of Formal Specifications (Extended Abstract).
In: Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17), pp. 38-40, University of Oslo, ISBN 978-82-7368-435-6,
[Book Section]


Hähnle, Reiner ; Wasser, Nathan ; Bubel, Richard
Ábrahám, Erika ; Bonsangue, Marcello M. ; Johnsen, Einar Broch (eds.) (2016):
Array Abstraction with Symbolic Pivots.
In: Lecture Notes in Computer Science, 9660, pp. 104-121, Springer, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, DOI: 10.1007/978-3-319-30734-3₉,
[Conference or Workshop Item]

This list was generated on Tue Nov 23 00:59:58 2021 CET.