TY  - BOOK
AU  - Boca, Paul 
AU  -  Bowen, Jonathan P. : Siddiqi 
TI  - Formal methods : state of the art and new directions
SN  - 9781848827356
U1  - 004 
PY  - 2010///
CY  - London
PB  - Springer
ER  -