Domenico Cantone, Marianna Nicolosi Asmundo, Daniele Francesco Santamaria. D. In Maximiliano Cristiá, David Delahaye, Catherine Dubois, editors, Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018. Volume 2199 of CEUR Workshop Proceedings, pages 52-66, CEUR-WS.org, 2018. [doi]
Abstract is missing.