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
Database and Expert Systems Applications - DEXA 2024 Workshops IWCFS, AISys, CIU, Naples, Italy, August 26–28, 2024, Proceedings Moser Bernhard Heftet / 2024 / Engelsk
