Statistics
Publications
3
Citations
45
H-Index
3
Active since
2014
Affiliations
Claire Dross is an author at Université Paris-Sud specializing in computing, computer science, and theory solving.
Publications per year
2014–2018
3
3
Adding Decision Procedures to SMT Solvers Using Axioms with Triggers
Claire Dross, Sylvain Conchon, Johannes Kanig et al. · Journal of Automated Reasoning · 2015 · 16 citations · Full text
Claire Dross, Sylvain Conchon, Johannes Kanig et al. · EPiC series in computing · 2018 · 15 citations · Full text
Rail, Space, Security: Three Case Studies for SPARK 2014
Claire Dross, Pavlos Efstathopoulos, David Lesens et al. · 2014 · 14 citations
1–3 of 3