According to our database1, Dominic Steinhöfel authored at least 9 papers between 2016 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Dynamic Logic. New Trends and Applications, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
Proceedings of the Formal Methods and Software Engineering, 2016