Autor:	Alex James, Alwen Tiu, Nisansala Yatapanage
Rok vydání:	2022
Zdroj:	Formal Methods and Software Engineering ISBN: 9783031172434
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::b8de161f4e6e719b383ce2fec0482771 https://doi.org/10.1007/978-3-031-17244-1_11 Zobrazit plný text záznamu