LEADER 00893oam  2200301zu 450 
001 996199928503316
005 20210807000229.0
035   $a(CKB)1000000000021889
035   $a(SSID)ssj0000558815
035   $a(PQKBManifestationID)12208262
035   $a(PQKBTitleCode)TC0000558815
035   $a(PQKBWorkID)10565666
035   $a(PQKB)11373815
035   $a(EXLCZ)991000000000021889
100   $a20160829d2004      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aSoftware Engineering and Formal Methods
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d2004
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-2222-X 
801  0$bPQKB
906   $aPROCEEDING
912   $a996199928503316
996   $aSoftware Engineering and Formal Methods$92077897
997   $aUNISA