VIVO
CU:
Home
•
A to Z
•
Campus Map
Home
People
Organizations
Publications
Honors
Research
International
About
10th International Workshop on Numerical Software Verification (NSV)
Conference
Publications
Publications
related documents
A Study of Model-Order Reduction Techniques for Verification
Conference Proceeding