Email Address * *
Name
Subject *
Message * 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 - 0769539432 - 9780769539430