Showing results 4 to 4 of 4
< previous
Title | Author(s) | Issue Date | |
---|---|---|---|
The application of model checking for securing E-commerce transactions Journal:Communications of the ACM | 2006 |
Title | Author(s) | Issue Date | |
---|---|---|---|
The application of model checking for securing E-commerce transactions Journal:Communications of the ACM | 2006 |