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