Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Stein Gjessing
conf.researchr.org general profile
SPLASH 2012 profile
Not registered as user
Name:
Stein Gjessing
Contributions
2012
DCP
Author of Teaching predicates and invariants on shared data structures in concurrent programming within the DCP 2012-track
Share
x
Mon 3 Nov 04:51