Masaryk University

Expertise in formal verification and deployment of tools for model checking.
Short name: UOM Country: CZExpertise in formal verification and deployment of tools for model checking.
Web Page:
Expertise in formal verification and deployment of tools for model checking.
Short name: UOM Country: CZExpertise in formal verification and deployment of tools for model checking.