Autor:	Dennis Dams, Klaus Havelund, Sean Kauffman
Rok vydání:	2022
Zdroj:	Runtime Verification ISBN: 9783031171956
DOI:	10.1007/978-3-031-17196-3_15
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f2353fc07ab66c6c0ff2063ef0a67e42 https://doi.org/10.1007/978-3-031-17196-3_15 Zobrazit plný text záznamu