1
Publications
33
Citations
1
H-Index
2005
Active since
Affiliations
Thomas Vergnaud is an author at Laboratoire Traitement et Communication de l’Information specializing in formal methods, computer engineering, and system software.
Top concepts
MiddlewareEngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisAutomated Reasoning
Publications per year
2005–2005
1
1
Rows per page
1–1 of 1