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: 2.

Steinhöfel, Dominic and Hähnle, Reiner ter Beek, Maurice H. and McIver, Annabelle and N., Jos\' (eds.) (2019):
Abstract Execution.
In: Formal Methods - The Next 30 Years,
3rd World Congress on Formal Methods (FM 2019), Porto, Portugal, October 7-11, 2019, DOI: 10.1007/978-3-030-30942-8_20,
[Conference or Workshop Item]

ter Beek, Maurice H. and Hähnle, Reiner and Schaefer, Ina Margaria, Tiziana and Steffen, Bernhard (eds.) (2016):
Correctness-by-Construction and Post-hoc Verification: Friends or Foes?
In: Lecture Notes in Computer Science, 9952, pp. 723-729, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I, DOI: 10.1007/978-3-319-47166-2₅₁,
[Conference or Workshop Item]

This list was generated on Sat Dec 5 01:27:25 2020 CET.