Showing results 5 to 5 of 5
< 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 |