SPLASH 2012 (series) / Ondřej Lhoták
Registered user since Wed 14 Sep 2016
Name:Ondřej Lhoták
Affiliation:University of Waterloo, Canada
Personal website:http://plg.uwaterloo.ca/~olhotak/
Contributions
| SPLASH 2012 | Predicate abstraction of Java programs with collections Committee Member in External Reviewers within the OOPSLA Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2012-profile
View general profile
View general profile