Masaryk University

Expertise in formal verification and deployment of tools for model checking.

Short name: UOM
Country: CZ

Expertise in formal verification and deployment of tools for model checking.