Login / Signup
Jan Lahoda
Publication Activity (10 Years)
Years Active: 2005-2014
Publications (10 Years): 0
Top Topics
Data Manipulation Language
Functional Programming
Quantifier Elimination
Pattern Matching
Top Venues
WRT@ICSE
Discret. Appl. Math.
ESEC/SIGSOFT FSE
ICSE
</>
Publications
</>