| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Aspects in Security and Trust: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust , World Computer Congress, August 22-27, ... in Information and Communication Technology) | 978-O-387-24O5O-3 (O-387-24O5O-O) | 2005 | Theo Dimitrakos · Fabio Martinelli |
F A · o.A. · O.F. · W.A. · W F
Workshop on Formal Methods in Databases and Software Engineering