SPLASH 2012 (series) / Werner Dietl

Registered user since Sun 11 Sep 2016
Name:Werner Dietl
Country:Canada
Affiliation:University of Waterloo, Canada
Personal website:https://ece.uwaterloo.ca/~wdietl/
Contributions
SPLASH 2012 | Reim & ReImInfer: checking and inference of reference immutability and method purity | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2012-profile
View general profile
View general profile