VeriDis: Verification of Distributed Systems
Verification | Theorem proving | SMT | Model checking | Distributed Systems
Skip to content
HOME
TEAM
RESEARCH
PUBLICATIONS
PROJECTS
SOFTWARE
JOBS
NEWS
CONTACT
Home
News
The new site is up
The new site is up
Igor KONNOV
2018/09/09
2018/09/09
News
The new VeriDis web site is up and running!
Comments are closed.