1
Publications
321
Citations
1
H-Index
1991
Active since
Affiliations
Marie Claude Gaudel is an author at Centre National de la Recherche Scientifique specializing in software design, formal specification, and software testing.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
1991–1991
1
1
Rows per page
1–1 of 1