TY  - BOOK
AU  -  Bjorner,Dines .
TI  - Software engineering / 
U1  - 005.1 
PY  - 2006///
CY  - New York : 
PB  - Springer , 
KW  - Software Engineering
ER  -