Paper

Paphos, Cyprus

Cristian Prisacariu , Gerardo Schneider, A formal language for electronic contracts, Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems, June 06-08, 2007, Paphos, Cyprus

2007

Created by ACM worker at 2019-04-11 09:59:37.0.