LEADER 01610oam  2200457zu 450 
001 996218932003316
005 20210807003238.0
035   $a(CKB)111026746702518
035   $a(SSID)ssj0000394762
035   $a(PQKBManifestationID)12144085
035   $a(PQKBTitleCode)TC0000394762
035   $a(PQKBWorkID)10424738
035   $a(PQKB)10923721
035   $a(EXLCZ)99111026746702518
100   $a20160829d2000      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000
210 31$a[Place of publication not identified]$cIEEE Computer Society$d2000
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-0822-7 
606   $aEngineering$xMethodology$vCongresses
606   $aComputer software$xDevelopment$vCongresses
606   $aEngineering & Applied Sciences$2HILCC
606   $aEngineering - General$2HILCC
615  0$aEngineering$xMethodology
615  0$aComputer software$xDevelopment
615  7$aEngineering & Applied Sciences
615  7$aEngineering - General
676   $a620/.0028
702   $aLiu$b Shaoying
702   $aHinchey$b Michael G$g(Michael Gerard),$f1969-
702   $aMcDermid$b John
712 02$aIEEE Computer Society
801  0$bPQKB
906   $aPROCEEDING
912   $a996218932003316
996   $aICFEM 2000 : Third IEEE International Conference on Formal Engineering Methods : York, England, September 4-6, 2000$92423388
997   $aUNISA