TY  - BOOK
AU  - Bjorner,D.
TI  - Software engineering 3 : domains, requirements, and software design / 
SN  - 9783540211518
U1  - 005.1 
PY  - 2007///
CY  - NewYork : 
PB  - Springer , 
KW  - COMPUTER SCIENCE
N1  - Includes index and bibliographical reference
ER  -