Mgr. Jan Tušil
Katedra počítačových systémů a komunikací
e‑mail: |
---|
Počet publikací: 2
2023
-
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties
Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, rok: 2023
-
Interactive Matching Logic Proofs in Coq
Theoretical Aspects of Computing (ICTAC 2023), rok: 2023