TY  - BOOK
AU  - Zelkowitz, Marvin V
TI  - Advances in computers: : vol 65
SN  - 9780120121656
U1  - 004  
PY  - 1997///
CY  - Amsterdam
PB  - Elsevier / Academic Press
KW  - Computer Science; Artificial Intelligence; Software Model Checking
N1  - Includes Index
ER  -