TY  - BOOK
AU  - Jacky,Jonathan
TI  - Model-based software testing and analysis with CÄ
SN  - 9780521886550 (hardback)
PY  - 2008///
CY  - New York
PB  - Cambridge University Press
KW  - Computer software
KW  - Testing
KW  - Quality control
KW  - CÄ (Computer program language)
N1  - Includes bibliographical references (p. 333-339) and index
UR  - http://www.loc.gov/catdir/enhancements/fy0743/2007027740-t.html
ER  -