TY  - BOOK
AU  - BAILEY, BRIAN , MARTIN, GRANT , ANDERSON, THOMAS
TI  - Taxonomies for the development and verificaiton of digital systems
SN  - 0387240195
U1  - 621.3815 TAX 
PY  - 2005///
CY  - USA
PB  - SPRINGER
ER  -