profesor – Katedra teorie programování
kancelář: C414
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 6941 |
|---|---|
| e‑mail: |
|
| sociální a akademické sítě: |
|---|
Počet publikací: 92
Logic for Programming Artificial Intelligence and Reasoning, LPAR-19, rok: 2013
Model Checking Software - 20th International Symposium, SPIN 2013, rok: 2013
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, rok: 2013
Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, rok: 2013
Proceedings of the 2012 International Symposium on Software Testing and Analysis, ISSTA 2012, rok: 2012
Mathematical Structures in Computer Science, rok: 2012, ročník: 22, vydání: 2, DOI
Rok: 2012
Formal Methods for Industrial Critical systems: 17th International Workshop, FMICS 2012, rok: 2012
TACAS 2012: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2012
Rok: 2012