LEADER 01099nam  2200337   450 
001 996198304403316
005 20180306112245.0
010   $a1-5090-7379-5
035   $a(CKB)1000000000812034
035   $a(WaSeSS)IndRDA00093532
035   $a(EXLCZ)991000000000812034
100   $a20180306d2008      ||             |
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$a2008 Sixth IEEE International Conference on Software Engineering and Formal Methods $e10-14 November 2008
210  1$aNew York :$cIEEE,$d2008.
215   $a1 online resource (394 pages)
311   $a0-7695-3437-6 
606   $aSoftware engineering$vCongresses
606   $aFormal methods (Computer science)$vCongresses
615  0$aSoftware engineering
615  0$aFormal methods (Computer science)
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a996198304403316
996   $a2008 Sixth IEEE International Conference on Software Engineering and Formal Methods$92378514
997   $aUNISA