1
Publications
12
Citations
1
H-Index
2018
Active since
Affiliations
Thanh-Dang Diep is an author at Vietnam National University Ho Chi Minh City specializing in system software, formal methods, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsFault ToleranceSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal Verification
Publications per year
2018–2018
1
1
Thanh-Dang Diep, Karl Fürlinger, Nam Thoai · 2018 · 12 citations
Rows per page
1–1 of 1