9
Publications
231
Citations
9
H-Index
2008
Active since
Affiliations
Phan Minh Thang is an author at Asian Institute of Technology specializing in formal methods, automated reasoning, and law.
Top concepts
Formal MethodsAutomated ReasoningLawEngineeringLinguisticsComputer ScienceFormal VerificationVerificationBusinessLanguage
Publications per year
2008–2019
9
9
Rows per page
1–5 of 9