Rigorous State-Based Methods 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings Raschke, Alexander Heftet / 2021 / Engelsk
Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings Raschke, Alexander Heftet / 2020 / Engelsk
Logic, Computation and Rigorous Methods Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday Raschke, Alexander Heftet / 2021 / Engelsk
Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings Butler, Michael Heftet / 2018 / Engelsk
