Konferenzveröffentlichung

Jakobs, Marie-Christine
Hrsg.: ter Beek, Maurice H. ; Monahan, Rosemary (2022)
Reusing Predicate Precision in Value Analysis.
17th International Conference on integrated Formal Methods. Lugano, Switzerland (07.06.2022-10.06.2022)
doi: 10.1007/978-3-031-07727-2_5
Konferenzveröffentlichung, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N. (2019)
Abstract Execution.
3rd World Congress on Formal Methods (FM 2019). Porto, Portugal (07.10.2019-11.10.2019)
doi: 10.1007/978-3-030-30942-8_20
Konferenzveröffentlichung, Bibliographie