Gruner, StefanRumpe, Bernhard2019-01-172019-01-172010978-3-88579-273-4https://dl.gi.de/handle/20.500.12116/19662enFM+AM`2010 – Second International Workshop on Formal Methods and Agile MethodsText/Edited Book1617-5468