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
Published
2020
Pages
260
Publisher
Faculty of Information Technology BUT
Place
Brno, CZ
Files
Back to top