Login / Signup
Bernard Botella
Publication Activity (10 Years)
Years Active: 1997-2018
Publications (10 Years): 2
Top Topics
Code Coverage
Theorem Prover
Structural Information
Unit Testing
Top Venues
SCAM
Inf. Softw. Technol.
CoRR
Formal Aspects Comput.
</>
Publications
</>