Abstract State Machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Paperback)

Logic, Computation and Rigorous Methods: Essays Dedicated to Egon B?ger on the Occasion of His 75th Birthday (Paperback, 2021)

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Paperback)

Semantics in Data and Knowledge Bases: 5th International Workshop Sdkb 2011, Z?ich, Switzerland, July 3, 2011, Revised Selected Papers (Paperback, 2013)

Semantics in Data and Knowledge Bases: Third International Workshop, Sdkb 2008, Nantes, France, March 29, 2008, Revised Selected Papers (Paperback, 2008)

Conceptual Modeling--ER 2007 (Paperback)

Database and Expert Systems Applications - DEXA 2021 Workshops: BIOKDD, IWCFS, MLKgraphs, AI-CARES, ProTime, AISys 2021, Virtual Event, September 27-3 (Paperback)

Models: Concepts, Theory, Logic, Reasoning and Semantics: Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday (Paperback)

Abstract State Machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (Paperback)