TY  - RPRT
TI  - Combining Static Analysis and Model Checking for Software Analysis
AU  - Brat, Guillaume
AU  - Visser, Willem
AU  - Clancy, Daniel
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20030004256
ID  - 20030004256
ER  -