1
Publications
175
Citations
1
H-Index
1986
Active since
Ming-Te Chao is an author specializing in formal methods, mathematical programming, and automated reasoning.
Top concepts
EngineeringData ScienceVerificationFormal MethodsSatisfiabilityComputer ScienceAutomated ReasoningFormal VerificationSystems EngineeringComputational Science
Publications per year
1986–1986
1
1
Rows per page
1–1 of 1