1
Publications
49
Citations
1
H-Index
2009
Active since
Affiliations
Stephane Hong-Tuan-Ha is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in software maintenance, formal verification, and system software.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignSystem SoftwareTest AutomationTest GenerationComputer ScienceProgram AnalysisSoftware Testing
Publications per year
2009–2009
1
1
Rows per page
1–1 of 1