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, CEUR-WS.org, 2018. [doi]
Conference: zum2018
Abstract is missing.