LEADER 01780oam  2200481zu 450 
001 996207372103316
005 20210806235858.0
010   $a1-5090-9239-0
035   $a(CKB)1000000000278170
035   $a(SSID)ssj0000396124
035   $a(PQKBManifestationID)12091445
035   $a(PQKBTitleCode)TC0000396124
035   $a(PQKBWorkID)10463995
035   $a(PQKB)10807698
035   $a(EXLCZ)991000000000278170
100   $a20160829d2006      uy              
101 0 $aeng
181   $ctxt
182   $cc
183   $acr
200 10$aFourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India
210 31$a[Place of publication not identified]$cIEEE Computer Society$d2006
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a0-7695-2678-0 
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.3
702   $aDang$b Hung Van$f1950-
702   $aPandya$b Paritosh K
712 02$aInternational Institute for Software Technology
712 02$aComputer Society of India
712 12$aInternational Conference on Software Engineering and Formal Methods
801  0$bPQKB
906   $aPROCEEDING
912   $a996207372103316
996   $aFourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India$92419155
997   $aUNISA