Not registered as user yet

Name: Arvin Zakeriyan

Affiliation: University of Tehran

Contributions

AGERE! 2015 Jacco: More Efficient Model Checking Toolset for Java Actor Programs
Show activities from other conferences

SPLASH 2015-profile
View general profile