Model Checking Laboratory
Skip to content
Jump to main navigation and login
Nav view search
Navigation
Home
Events
News
Research
Software
Publications
Projects
Team
MCLab Reading Group
Search
Search...
You are here:
Home
People
Ivano Salvo
Home
Ivano Salvo
Details
Last Updated on Tuesday, 09 May 2017 09:16
Assistant Professor
List of Publications
Personal home page
MCLab Site
Home
Events
News
Research
Software
Publications
Projects
Team
MCLab Reading Group
University links
Department of Computer Science
Sapienza University of Rome
Model Checking Laboratory 
© Model Checking Group - Dipartimento di Informatica, Sapienza Università di Roma
