Marjan Sirjani

Registered user since Wed 30 Sep 2020

Name:Marjan Sirjani
Country:Iceland
Affiliation:Reykjavik University

Contributions

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

SPLASH 2015-profile
View general profile