- Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper.In CCIS, 1301, Springer, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-71374-4_1
- LINK
- Prototyping Games Using Formal Methods.In Proceedings FMFun 2019, CCIS, 1301, Springer, 2021.
- The final authenticated version is available online at https://doi.org/10.1007/978-3-030-71374-4_6