Login / Signup
Gianluca Magnani
Publication Activity (10 Years)
Years Active: 2010-2013
Publications (10 Years): 0
Top Topics
Provably Correct
Construction Industry
Model Checker
Temporal Properties
Top Venues
Sci. Comput. Program.
IEEE Softw.
</>
Publications
</>