Proceedings
Subtitle: 2009 Fourth South-East European Workshop on Formal Methods : Formal Methods for Web Services, Formal Methods for Agent-Based Systems, 4-5 December 2009, Thessaloniki, Greece
By: edited by Dimitris Dranidis, Ioanna Stamatopoulou
Contributors: Dranidis, Dimitris; Stamatopoulou, Ioanna; City College (University of Sheffield); South-East European Research Centre; IEEE Computer Society
Publisher: IEEE Computer Society
Published: 2009
Place of publication: Los Alamitos, Calif
Language: eng
Number of pages: 79
ISBN-13: 9780769539430
Subjects: Formal methods (Computer science); Service-oriented architecture (Computer science); Congresses
Other titles: South-East European Workshop on Formal Methods; Formal Methods for Web Services; Formal Methods for Agent-Based Systems
Notes: "IEEE Computer Society Order Number P3943" -- t.p. verso.

" ... organised by CITY College and South-East European Research Centre (SEERC) ..." - preface (p. vii).

Includes bibliographical references and index.