Not registered as user yet

Name: Arvin Zakeriyan

Affiliation: University of Tehran

Contributions

AGERE! 2015Author of Jacco: More Efficient Model Checking Toolset for Java Actor Programs within the AGERE-track