TY  - BOOK
AU  - Bjorner
TI  - Software Engineering(VOL 1-3)
PY  - 2007///
CY  - New Delhi
PB  - Springer
ER  -