@Inproceedings{EPTCS147.9, author = {Bai, Wei and Tadjouddine, Emmanuel M. and Guo, Yu}, year = {2014}, title = {Enabling Automatic Certification of Online Auctions}, editor = {Buhnova, Bara and Happe, Lucia and Kofro\v{n}, Jan}, booktitle = {{\rm Proceedings 11th International Workshop on} Formal Engineering approaches to Software Components and Architectures, {\rm Grenoble, France, 12th April 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {147}, publisher = {Open Publishing Association}, pages = {123-132}, doi = {10.4204/EPTCS.147.9}, }