TY  - BOOK
AU  - Quirk, W.J.
TI  - Verification and validation of real-time software
SN  - 3540151028
AV  - OA76.54.V4 1985 
CY  - New York
KW  - Real
KW  - Time data processing
KW  - Computer software
KW  - Verification
ER  -