TY  - RPRT
TI  - Software Certification for Temporal Properties With Affordable Tool Qualification
AU  - Xia, Songtao
AU  - DiVito, Benedetto L.
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20050240928
ID  - 20050240928
ER  -