Models Concepts, Theory, Logic, Reasoning and Semantics: Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday Mashkoor Atif Heftet / 2018 / Engelsk
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings Butler, Michael Heftet / 2016 / Engelsk
