Not registered as user yet

Name: Ohad Goudsmid

Country: Israel

Affiliation: Department of Computer Science, The Technion

Contributions

VMCAI 2021 Author of Compositional Model Checking for Multi-Properties within the VMCAI-track