LEADER 01847oam  2200493zu 450 
001 996212399003316
005 20210807003655.0
010   $a1-5090-6875-9
035   $a(CKB)2400000000003036
035   $a(SSID)ssj0000566378
035   $a(PQKBManifestationID)12228219
035   $a(PQKBTitleCode)TC0000566378
035   $a(PQKBWorkID)10533978
035   $a(PQKB)11557051
035   $a(EXLCZ)992400000000003036
100   $a20160829d2009      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aSEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam
210 31$a[Place of publication not identified]$cIEEE Computer Society$d2009
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-3870-3 
606   $aSoftware engineering$vCongresses
606   $aFormal methods (Computer science)$vCongresses
606   $aEngineering & Applied Sciences$2HILCC
606   $aComputer Science$2HILCC
615  0$aSoftware engineering
615  0$aFormal methods (Computer science)
615  7$aEngineering & Applied Sciences
615  7$aComputer Science
676   $a005.1
702   $aDang$b Hung Van$f1950-
702   $aKrishnan$b Padmanabhan
712 02$aHokuriku Sentan Kagaku Gijutsu Daigakuin Daigaku
712 02$aIEEE Computer Society
712 02$aInternational Institute for Software Technology
712 12$aIEEE International Conference on Software Engineering and Formal Methods
801  0$bPQKB
906   $aPROCEEDING
912   $a996212399003316
996   $aSEFM 2009 : Seventh International Conference on Software Engineering and Formal Methods : proceedings : November 23-27, 2009, Hanoi, Vietnam$92419790
997   $aUNISA