Min Li, Christopher J. Hogger
Formulating Aspects of Paypal in the Logic Framework of GBMF
ICEIS, 2009.
@inproceedings{ICEIS-AIDSS-2009-LiH,
author = "Min Li and Christopher J. Hogger",
booktitle = "{Proceedings of the 11th International Conference on Enterprise Information Systems, Volume 2: AIDSS}",
isbn = "978-989-8111-85-2",
pages = "39--44",
title = "{Formulating Aspects of Paypal in the Logic Framework of GBMF}",
year = 2009,
}