Login / Signup
Behrad Ghazizadeh
Publication Activity (10 Years)
Years Active: 2003-2003
Publications (10 Years): 0
</>
Publications
</>
Robert L. Probert
,
Yanping Chen
,
Behrad Ghazizadeh
,
D. Paul Sims
,
Maurus Cappa
Formal verification and validation for e-commerce: theory and best practices.
Inf. Softw. Technol.
45 (11) (2003)