Formal Foundations for Verifying Security-Critical Software: A Tutorial
12th European Joint Conferences on Theory and Practice of Software (ETAPS 2009). 2009
Erscheinungsjahr: 2009
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
