Autor:	Ionuţ Ţuţu, Claudia Elena Chiriţă, José Luiz Fiadeiro
Rok vydání:	2021
Zdroj:	Formal Methods ISBN: 9783030908690
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3995057a211e1007ecfb0df10a1be4a9 https://doi.org/10.1007/978-3-030-90870-6_32 Zobrazit plný text záznamu