![]() | ![]() |
| 2003 | ||
|---|---|---|
| 1 | 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] |
Data released under the ODC-BY 1.0 license — See also our legal information page