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