Formally Testing Fail-safety of Electronic Purse Protocols
Debra Richardson;Martin S. Feather;Michael Goedicke (Hrsg). Proceedings of the16th Annual International Conference on Automated Software Engineering ASE 2001: 26-29 November 2001; Loew’s Coronado Bay Resort, Coronado Island, San Diego, California. Los Alamitos, CA: IEEE Computer Society 2001 S. 408 - 411
Erscheinungsjahr: 2001
ISBN/ISSN: 0-7695-1426-X
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/ASE.2001.989840
| Geprüft | Bibliothek |
