Login / Signup
Riccardo Traverso
Publication Activity (10 Years)
Years Active: 2011-2016
Publications (10 Years): 5
Top Topics
Model Checking
Action Language
Pspace Complete
Dynamic Analysis
Top Venues
Fundam. Informaticae
CNS
GandALF
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>