Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene. Closing the gap between the specification and the implementation: the ASMETA way. In Atif Mashkoor, Qing Wang 0002, Bernhard Thalheim, editors, Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday. pages 242-263, College Publications, 2018.
Abstract is missing.