Mgr. Tatiana Zbončáková
Department of Computer Science
E‑mail: |
---|
Department of Computer Science
E‑mail: |
---|
Total number of publications: 2
Automated Technology for Verification and Analysis - 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, year: 2019
Year: 2019