Publication Details
Towards Computer-Aided Quantitative Synthesis
ČEŠKA Milan. Towards Computer-Aided Quantitative Synthesis. Brno: Faculty of Information Technology BUT, 2020.
Type
habilitation
Language
english
Authors
Češka Milan, doc. RNDr., Ph.D. (DITS FIT BUT)
Published
2020
Pages
260
Publisher
Faculty of Information Technology BUT
Place
Brno, CZ
Files