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.

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: 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, In: Lecture Notes in Computer Science, 9952, DOI: 10.1007/978-3-319-47166-2₅₁,
[Online-Edition: https://doi.org/10.1007/978-3-319-47166-2_51],
[Conference or Workshop Item]

This list was generated on Tue Jun 25 00:23:34 2019 CEST.