LEADER 01725oam  2200481zu 450 
001 9910872842103321
005 20241212215025.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 08$a9780818691980 
311 08$a0818691980 
606   $aEngineering$xCongresses$xMethodology
606   $aComputer software$xDevelopment$vCongresses
606   $aEngineering & Applied Sciences$2HILCC
606   $aEngineering - General$2HILCC
615  0$aEngineering$xCongresses$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   $aStaples John
712 02$aIEEE Computer Society
712 12$aIEEE International Conference on Formal Engineering Methods
801  0$bPQKB
906   $aPROCEEDING
912   $a9910872842103321
996   $aSecond International Conference on Formal Engineering Methods : proceedings : December 9-11, 1998, Brisbane, Australia$92377282
997   $aUNINA