TY  - BOOK
AU  - Dines Bjorner.
TI  - Softwear Engineering-2: Softwear Engineering-2
U1  - 005.1 
CY  - [s.l]
PB  - Springer
ER  -