Login / Signup
Corneliu Popeea
Publication Activity (10 Years)
Years Active: 1999-2016
Publications (10 Years): 1
Top Topics
Multithreading
Conceptual Clustering
Existentially Quantified
Program Synthesis
Top Venues
TACAS
VSTTE
PLDI
Sci. Comput. Program.
</>
Publications
</>