SPLASH 2012 (series) / Stein Gjessing
Not registered as user yet
Name: Stein Gjessing
Contributions
| DCP 2012 | Author of Teaching predicates and invariants on shared data structures in concurrent programming within the DCP 2012-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2012-profile
View general profile
View general profile