Books
Logic, Computation and Rigorous Methods
2021
Model and Data Engineering
2019
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX
2016
New Trends in Databases and Information Systems
2016
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016
Correct Software in Web Applications and Web Services
2015