conf.researchr.org / Arne Maus
Registered user since Fri 6 May 2016
Name:Arne Maus
Country:Norway
Affiliation:University of Oslo
Personal website:http://www.mn.uio.no/ifi/english/people/aca/arnem/index.html
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 |