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