01558oam 2200469zu 450 99620972920331620210807001143.00-7695-3943-2(CKB)2610000000000495(SSID)ssj0000453466(PQKBManifestationID)12203209(PQKBTitleCode)TC0000453466(PQKBWorkID)10482405(PQKB)10313536(EXLCZ)99261000000000049520160829d2009 uy engtxtccr2009 Fourth South-East European Workshop on Formal Methods[Place of publication not identified]IEEE2009Bibliographic Level Mode of Issuance: MonographSouth-East European Workshop on Formal MethodsseefmFormal methods (Computer science)CongressesService-oriented architecture (Computer science)CongressesEngineering & Applied SciencesHILCCComputer ScienceHILCCFormal methods (Computer science)Service-oriented architecture (Computer science)Engineering & Applied SciencesComputer Science004.6/54Stamatopoulou IoannaDranidis DimitrisIEEE Computer SocietyPQKBPROCEEDING9962097292033162009 Fourth South-East European Workshop on Formal Methods2398455UNISA