2
Publications
40
Citations
2
H-Index
2019
Active since
Mathilde Boltenhagen is an author at Laboratoire de Biologie et Pharmacologie Appliquée specializing in formal verification, formal methods, and automated reasoning.
Top concepts
EngineeringVerificationFormal MethodsSatisfiabilityComputer ScienceSoftware TestingSoftware AnalysisAutomated ReasoningFormal VerificationComputer-aided Design
Publications per year
2019–2020
2
2
Rows per page
1–2 of 2