TY  - BOOK
AU  - Alagic,Suad
TI  - Software engineering: specification, implementation, verification 
SN  - 9783319615172
U1  - 005.1 ALA 
PY  - 2017///
CY  - New York, NY
PB  - Springer Science+Business Media
ER  -