Using Interface Specifications for Verifying Crypto- protocol Implementations
Foundations of Interface Technologies 2008 (FIT‘08 @ ETAPS 2008). 2008
Erscheinungsjahr: 2008
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.137.**2736
| Geprüft | Bibliothek |
