@article{journals/infsof/ProbertCGSC03,
title = {Formal verification and validation for e-commerce: theory and best practices.},
author = {Robert L. Probert and Yanping Chen and Behrad Ghazizadeh and D. Paul Sims and Maurus Cappa},
journal = {Information & Software Technology},
number = {11},
pages = {763-777},
url = {http://dblp.uni-trier.de/db/journals/infsof/infsof45.html#ProbertCGSC03},
volume = {45},
year = {2003},
description = {dblp},
ee = {http://dx.doi.org/10.1016/S0950-5849(03)00071-5}, date = {2004-02-26},
keywords = {dblp }
}
::