LEADER 01558oam  2200469zu 450 
001 996209729203316
005 20210807001143.0
010   $a0-7695-3943-2
035   $a(CKB)2610000000000495
035   $a(SSID)ssj0000453466
035   $a(PQKBManifestationID)12203209
035   $a(PQKBTitleCode)TC0000453466
035   $a(PQKBWorkID)10482405
035   $a(PQKB)10313536
035   $a(EXLCZ)992610000000000495
100   $a20160829d2009      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$a2009 Fourth South-East European Workshop on Formal Methods
210 31$a[Place of publication not identified]$cIEEE$d2009
300   $aBibliographic Level Mode of Issuance: Monograph
517 1 $aSouth-East European Workshop on Formal Methods
531   $aseefm
606   $aFormal methods (Computer science)$vCongresses
606   $aService-oriented architecture (Computer science)$vCongresses
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  0$aFormal methods (Computer science)
615  0$aService-oriented architecture (Computer science)
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
676   $a004.6/54
702   $aStamatopoulou$b Ioanna
702   $aDranidis$b Dimitris
712 02$aIEEE Computer Society
801  0$bPQKB
906   $aPROCEEDING
912   $a996209729203316
996   $a2009 Fourth South-East European Workshop on Formal Methods$92398455
997   $aUNISA