in FORMAL METHODS FOR WEB SERVICES in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 5569, Pages: 158-186 (29)
Conference
9Th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Date: JUN 01-06, 2009, Location: Bertinoro, ITALY, Sponsors: Univ Bologna, Int Summet Sch Program