Not registered as user yet

Name:Sarai Sheinvald
Country:Israel
Affiliation:Department of Software Engineering, ORT Braude College of Engineering

Contributions

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