![]() | ![]() |
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 | Maurus Cappa | [1] |
2 | Yanping Chen | [1] |
3 | Robert L. Probert | [1] |
4 | D. Paul Sims | [1] |