Arne Maus

Registered user since Fri 6 May 2016

Name:Arne Maus
Country:Norway
Affiliation:University of Oslo
Research interests:Parallel programs, OO-programming, Algorithms

Contributions

DCP 2012 Author of Teaching predicates and invariants on shared data structures in concurrent programming within the DCP 2012-track