Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pavel Parízek
conf.researchr.org general profile
ASE 2019 profile
SPLASH 2012 profile
Not registered as user yet
Name:
Pavel Parízek
Contributions
2012
SPLASH
Author of Predicate abstraction of Java programs with collections within the OOPSLA Research Papers-track
Share
x
Fri 15 Nov 08:24