Secrecy-preserving Refinement
José Nuno Oliveira; Pamela Zave (Hrsg). FME 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Methods Europe Berlin, Germany, March 12–16, 2001 Proceedings. Berlin: Springer 2001 S. 135 - 152
Erscheinungsjahr: 2001
ISBN/ISSN: 978-3-540-41791-0
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1007/3-540-45251-6_8
| Geprüft | Bibliothek |
