Zobrazeno 1 - 1
of 1
pro vyhledávání: '"David Chocholatý"'
Autor:
František Blahoudek, Yu-Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč
Publikováno v:
Formal Methods ISBN: 9783031274800
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a85af3a55f28a094f76b54510b32d4ef
https://doi.org/10.1007/978-3-031-27481-7_23
https://doi.org/10.1007/978-3-031-27481-7_23
