SPLASH 2012 (series) / Pavel Parízek
Not registered as user yet
Name:Pavel Parízek
Contributions
| SPLASH 2012 | Predicate abstraction of Java programs with collections | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2012-profile
View general profile
View general profile