Login / Signup
Michele Bertasi
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Formal Model
Automatically Generate
Multi Agent
Error Detection
Top Venues
CODES+ISSS
</>
Publications
</>
Michele Bertasi
,
Giuseppe Di Guglielmo
,
Graziano Pravadelli
Automatic generation of compact formal properties for effective error detection.
CODES+ISSS
(2013)