Claire Dross
发表
Sylvain Conchon,
Andrei Paskevich,
Claire Dross,
2012,
SMT@IJCAR.
Patrick Rogers,
M. Anthony Aiello,
Claire Dross,
2019,
FM.
Edmond Schonberg,
Claire Dross,
Johannes Kanig,
2012
.
Claire Dross,
2014
.
Yannick Moy,
Claire Dross,
Yannick Moy,
2016,
RSSRail.
Yannick Moy,
Claire Dross,
David Lesens,
2014
.
Claude Marché,
Claire Dross,
Clément Fumex,
2016,
NFM.
Jérôme Hugues,
Claire Dross,
Christophe Garion,
2019,
FMTea.
Yannick Moy,
Andrei Paskevich,
Claire Dross,
2018,
ICFEM.
Sylvain Conchon,
Andrei Paskevich,
Claire Dross,
2016,
Journal of Automated Reasoning.
Claire Dross,
Johannes Kanig,
Johannes Kanig,
2020,
CAV.
Edmond Schonberg,
Claire Dross,
Johannes Kanig,
2012,
HILT.
Yannick Moy,
Benjamin M. Brosgol,
Claire Dross,
2019,
2019 IEEE Cybersecurity Development (SecDev).
Yannick Moy,
Jean-Christophe Filliâtre,
Claire Dross,
2011,
TAP@TOOLS.
Claude Marché,
Claire Dross,
Clément Fumex,
2015
.
Rosemary Monahan,
Marieke Huisman,
Carlo A. Furia,
2020,
ArXiv.
Yannick Moy,
Claire Dross,
Yannick Moy,
2017,
NFM.
Peter Müller,
Rosemary Monahan,
Marieke Huisman,
2021,
Int. J. Softw. Tools Technol. Transf..