Steven Kimbrough,Dongjun Wu

• Formal Modelling in Electronic Commerce