Autor:	Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, Ina Schaefer
Rok vydání:	2022
Zdroj:	Software Engineering and Formal Methods ISBN: 9783031171079
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ce41eeec3539ccb50cb302b687810555 https://doi.org/10.1007/978-3-031-17108-6_13 Zobrazit plný text záznamu