Skip to content

GitLab

Explore

Sign in

Lenka Turoňová
diplomaThesis

D

diplomaThesis

Project information

MINA is a tool for verification of programs with an unbounded number of threads.

1 Commit
1 Branch
0 Tags

README

Created on

September 24, 2018

Copy SSH clone URLgit@pajda.fit.vutbr.cz:ituronova/diplomathesis.git
Copy HTTPS clone URLhttps://pajda.fit.vutbr.cz/ituronova/diplomathesis.git