Enviar aquest missatge de text: Logics and languages for reliability and security edited by Javier Esparza, Bernd Spanfelner and Orna Grumberg. [electronic resource] /