Concepedia
1
Publications
10
Citations
H-Index
2001
Active since
Affiliations
Institute of Software(Current)
Paul S. Wang is an author at Institute of Software specializing in formal methods, automated reasoning, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated Reasoning
Publications per year
2001–2001
OMEI: AN OPEN MATHEMATICAL ENGINE INTERFACE
Weidong Liao, Dongdai Lin, Paul S. Wang · 2001 · 10 citations
Programming Language Theory, Engineering, Algorithmic Library +4
Rows per page
1–1 of 1