Login / Signup
Jair C. Leite
Publication Activity (10 Years)
Years Active: 2002-2020
Publications (10 Years): 10
Top Topics
Safety Analysis
Functional Requirements
Formal Verification
Object Oriented Software
Top Venues
ECSA
ICSA Companion
WAIHCWS
SAC
</>
Publications
</>