TY  - BOOK
AU  - Esperza,Javie
TI  - Logics and languages for reliability and security
U1  - 004 ESP,J 
PY  - 2010///
CY  - Nether land
PB  - IOS Press
ER  -