Sign in
Véronique Delebarre
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 2
Top Topics
Labor Intensive
Semi Automatic
Theorem Prover
Data Driven
Top Venues
ICSE (2)
ECSA Workshops
</>
Publications
</>
Christèle Faure
,
Véronique Delebarre
Automatic proof of freedom from interference with IFFree.
ECSA Workshops
(2016)
Jean-Frédéric Étienne
,
Manuel Maarek
,
Florent Anseaume
,
Véronique Delebarre
Improving Predictability, Efficiency and Trust of Model-Based Proof Activity.
ICSE (2)
(2015)