A formal specification methodology for e-commerce systems

PEREIRA, Adriano ; SONG, Mark Alan ; GORGULHO, Gustavo ; MEIRA, W ; CAMPOS, S. V. A. . A formal specification methodology for e-commerce systems. In: International Conference on Electronic Commerce Research, 2002, 2002.

2002