Biblio

Export 2 results:
Filters: Author is Jeannette Wing  [Clear All Filters]
1996
Kindred D, Wing J.  1996.  Fast, Automatic Checking of Security Protocols. 2nd USENIX Workshop on Electronic Commerce (EC 96).
Heintze N, Tygar J.D., Wing J, Wong H.C.  1996.  Model Checking Electronic Commerce Protocols. 2nd USENIX Workshop on Electronic Commerce (EC 96).