LEADER 01514oam  2200469zu 450 
001 9910376485603321
005 20210807001950.0
035   $a(CKB)3170000000002634
035   $a(SSID)ssj0001137916
035   $a(PQKBManifestationID)11640493
035   $a(PQKBTitleCode)TC0001137916
035   $a(PQKBWorkID)11131333
035   $a(PQKB)10787233
035   $a(WaSeSS)IndRDA00015607
035   $a(Association for Computing Machinery)10.1145/1123058
035   $a(EXLCZ)993170000000002634
100   $a20160829d2005      uy 
101 0 $aeng
135   $aur|||||||||||
181   $ctxt
182   $cc
183   $acr
200 10$aProceedings of the 2005 Conference on Specification and Verification of Component-Based Systems
210 31$a[Place of publication not identified]$cACM$d2005
215   $a1 online resource (95 pages)
225 1 $aACM Conferences
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a1-59593-371-9 
410  0$aACM Conferences
517 1 $aSAVCBS '05
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
700   $aLeavens$b Gary T$0855850
702   $aLeavens$b Gary T
712 02$aACM Sigsoft
801  0$bPQKB
906   $aBOOK
912   $a9910376485603321
996   $aProceedings of the 2005 Conference on Specification and Verification of Component-Based Systems$92080583
997   $aUNINA