1
Publications
84
Citations
1
H-Index
2004
Active since
Affiliations
Val�rie Viet Triem Tong is an author at École Normale Supérieure Paris-Saclay specializing in computer science, software analysis, and software design.
Top concepts
EngineeringFormal MethodsSoftware DesignComputer ScienceSoftware AnalysisAutomated ReasoningFormal VerificationSoftware EngineeringSoftware Maintenance
Publications per year
2004–2004
1
1
Rows per page
1–1 of 1