Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Jan Tušil

Newcastle AuthorsTitleYearFull text
Dr Jan Tušil
Minuska: Towards a Formally Verified Programming Language Framework2024
Dr Jan Tušil
Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties2023
Dr Jan Tušil
Interactive Matching Logic Proofs in Coq2023