Login / Signup
David Hauzar
ORCID
Publication Activity (10 Years)
Years Active: 2011-2018
Publications (10 Years): 2
Top Topics
Geometry Theorem Proving
Static Analysis
Web Applications
Mashup
Top Venues
SEFM
J. Log. Algebraic Methods Program.
COMPSAC Workshops
Dagstuhl Artifacts Ser.
</>
Publications
</>