Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Adriano M. Pereira, Mark A. J. Song, Gustavo Gorgulho. The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems. Electronic Commerce Research, 6(3-4):265-303, 2006. [doi]