Login / Signup
Cristian Gherghina
Publication Activity (10 Years)
Years Active: 2009-2014
Publications (10 Years): 0
Top Topics
Shape Analysis
Rewrite Systems
Automated Verification
Modal Logic
Top Venues
Int. J. Softw. Tools Technol. Transf.
ICFEM
CAV
Log. Methods Comput. Sci.
</>
Publications
</>