Jure Kukovec -

Not registered as user yet

Name:Jure Kukovec

Affiliation:TU Wien, Austria

Contributions

SPLASH 2019	Author of TLA+ model checking made symbolic within the OOPSLA Artifacts-track Author of TLA+ Model Checking Made Symbolic within the OOPSLA-track Author of TLA+ model checking made symbolic within the Posters-track