BibSonomy publications for /bibtex/20a4f348a4618bd8c0bef80b1210a6bdc/dblp http://www.bibsonomy.org/bibtex/20a4f348a4618bd8c0bef80b1210a6bdc/dblp BibSonomy RSS Feed for /bibtex/20a4f348a4618bd8c0bef80b1210a6bdc/dblp Formal verification and validation for e-commerce: theory and best practices. dblp http://www.bibsonomy.org/bibtex/20a4f348a4618bd8c0bef80b1210a6bdc/dblp dblp 2004-02-26T00:00:00+01:00 dblp
Formal verification and validation for e-commerce: theory and best practices.
Robert L. Probert and Yanping Chen and Behrad Ghazizadeh and D. Paul Sims and Maurus Cappa Information & Software Technology 45 763-777 (2003)
to dblp on 2004-02-26 00:00:00
]]>