Login / Signup
Pedro R. G. Antonino
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 2
Top Topics
Process Model
Automatic Detection
Small Bowel
Computational Complexity
Top Venues
FM
TACAS (2)
NASA Formal Methods
ICFEM
</>
Publications
</>