Arvin Zakeriyan

According to our database1, Arvin Zakeriyan
  • authored at least 1 paper in 2015.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Jacco: more efficient model checking toolset for Java actor programs.
Proceedings of the 5th International Workshop on Programming Based on Actors, 2015


  Loading...