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