Proceedings 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 / - Dranidis, Dimitris.; Stamatopoulou, Ioanna. (IEEE Computer Society,)