Agnès Arnould is an author at Université Paris Cité specializing in geometry, automated reasoning, and discrete geometry.
Top concepts
GeometryEngineeringVerificationBioinformaticsFormal MethodsSoftware DesignTest AutomationTest GenerationComputer ScienceProgram Analysis
Publications per year
2000–2007
2
2
Test sequences generation from LUSTRE descriptions: GATEL
Bruno Marre, Agnès Arnould · 2000 · 109 citations
Rows per page
1–2 of 2