×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [integrated verification]
Documents
Type inference in type-based verification Dimitrios Vytiniotis, Microsoft Research
[email protected]
May 2010
213 views
Documents
Avionics
81 views
Documents
Verification for the High Impact Weather Prediction Project (HIWPP) and other ESRL/GSD verification work Steve Weygandt, Bonny Strong Bill Moninger, Jeff
230 views