TY  - BOOK
AU  - Liu, Shaoying
AU  - Araki, Keijiro
AU  - Maibaum, Tom
TI  - Formal methods and software engineering
SN  - 9783540881933
U1  - T 005.7 
PY  - 2008///
CY  - New York,USA
PB  - Sharpe Professional
KW  - Software engineering
ER  -