TY  - BOOK
AU  - Bjorner,D.
TI  - Software engineering 1 : abstraction and modelling / 
SN  - 9783540211495
U1  - 005.1 
PY  - 2007///
CY  - NewYork : 
PB  - Springer , 
KW  - COMPUTER SCIENCE
N1  - Includes index and bibliographical reference
ER  -