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