TY  - BOOK
AU  - Mills B.
AU  - Mills B.
TI  - Practical Formal Software Engineering: Wanting The Software You Get
SN  - 9780521879033
U1  - 005.1 
PY  - 2009///
PB  - Cambridge
ER  -