Title of article
Formal verification and validation for e-commerce: theory and best practices
Author/Authors
Robert L. Probert، نويسنده , , Yanping Chen، نويسنده , , Behrad Ghazizadeh، نويسنده , , D. Paul Sims، نويسنده , , Maurus Cappa، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2002
Pages
15
From page
763
To page
777
Journal title
Information and Software Technology
Serial Year
2002
Journal title
Information and Software Technology
Record number
134981
Link To Document