Statistics
Publications
1
Citations
11
H-Index
1
Active since
2012
Affiliations
University of Waterloo(Current)
OndYej Lhoták is an author at University of Waterloo specializing in predicate analysis, formal methods, and type checking.
Publications per year
2012–2012
1
1
Predicate abstraction of Java programs with collections
Pavel Parízek, OndYej Lhoták · 2012 · 11 citations
1–1 of 1