LEADER 01719oam  2200469zu 450 
001 996211375403316
005 20210807003604.0
035   $a(CKB)111026746748748
035   $a(SSID)ssj0000394761
035   $a(PQKBManifestationID)12155820
035   $a(PQKBTitleCode)TC0000394761
035   $a(PQKBWorkID)10388363
035   $a(PQKB)11608714
035   $a(EXLCZ)99111026746748748
100   $a20160829d1998      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aSecond International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia
210 31$a[Place of publication not identified]$cIEEE Computer Society Press$d1998
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-8186-9198-0 
606   $aEngineering$xCongresses$xMethodology
606   $aComputer software$xCongresses$xDevelopment
606   $aEngineering & Applied Sciences$2HILCC
606   $aEngineering - General$2HILCC
615  0$aEngineering$xCongresses$xMethodology
615  0$aComputer software$xCongresses$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   $aStaples John
712 02$aIEEE Computer Society
712 12$aIEEE International Conference on Formal Engineering Methods
801  0$bPQKB
906   $aPROCEEDING
912   $a996211375403316
996   $aSecond International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia$92377282
997   $aUNISA