مرکز منطقه ای اطلاع رساني علوم و فناوري - Formal verification and validation for e-commerce: theory and best practices

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 :

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 :