Autor:	Hoare, T, Wickerson, J
Přispěvatelé:	Broy, M, Leuxner, C, Hoare, T
Rok vydání:	2016
DOI:	10.3233/978-1-60750-711-6-211
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od______1064::5c72c68ade9cc03c5dac9e3fb7134be7 https://doi.org/10.3233/978-1-60750-711-6-211 Zobrazit plný text záznamu