Mgr. Vincent Mihalkovič
Institut teoretické informatiky
| e‑mail: |
|
|---|
Publikace
Počet publikací: 1
2022
-
Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II, rok: 2022