| |
| 2003 | ||
|---|---|---|
| 1 | EE | Robert L. Probert, Yanping Chen, Behrad Ghazizadeh, D. Paul Sims, Maurus Cappa: Formal verification and validation for e-commerce: theory and best practices. Information & Software Technology 45(11): 763-777 (2003) |
| 1 | Yanping Chen | [1] |
| 2 | Behrad Ghazizadeh | [1] |
| 3 | Robert L. Probert | [1] |
| 4 | D. Paul Sims | [1] |