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