TY  - BOOK
AU  - Bjorner, Dines
TI  - Software engineering
PY  - 2007///
CY  - New Delhi
PB  - Springer (India)
KW  - Software engineering
KW  - Software design
KW  - Abstraction and Modelling
KW  - Computer science
N1  -  3 vol set
ER  -