A Formal Specification Strategy for Electronic Commerce

Sylvanus A. Ehikioya, Ken Barker. A Formal Specification Strategy for Electronic Commerce. In IDEAS. pages 201-210, 1997.

Abstract

Abstract is missing.