Publications

Found 3 results
Filters: Autor is Dominic Steinhöfel  [Clear All Filters]
2020
D. Steinhöfel und Hähnle, R., The Trace Modality, in International Workshop on Dynamic Logic, 2020.
2019
D. Steinhöfel und Hähnle, R., Abstract Execution, in Formal Methods – The Next 30 Years, 2019.
2018
D. Steinhöfel und Hähnle, R., Modular, Correct Compilation with Automatic Soundness Proofs, in International Symposium on Leveraging Applications of Formal Methods, 2018.