2
Publications
110
Citations
2
H-Index
1987
Active since
Affiliations
Tsung-Min Kuo is an author at State University of New York specializing in automated reasoning, formal verification, and program analysis.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationMathematical Foundations
Publications per year
1987–1989
2
2
Tsung-Min Kuo, Prateek Mishra · 1989 · 95 citations
On strictness and its analysis
Tsung-Min Kuo, Prateek Mishra · 1987 · 15 citations · Full text
Rows per page
1–2 of 2