LEADER 01149nam  2200373   450 
001 996199087603316
005 20180307141358.0
010   $a2-9530504-4-2
010   $a2-9530504-3-4
035   $a(CKB)2670000000131752
035   $a(WaSeSS)IndRDA00093786
035   $a(EXLCZ)992670000000131752
100   $a20180307d2011      ||             |
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFDL 2010 $e2010 Forum on Specification & Design Languages : 14-16 September 2010
210  1$aNew York :$cIEEE,$d2011.
215   $a1 online resource (220 pages)
311   $a1-4577-0763-2 
606   $aSoftware engineering$vCongresses
606   $aComputer hardware description languages$vCongresses
606   $aComputer software$xVerification$vCongresses
615  0$aSoftware engineering
615  0$aComputer hardware description languages
615  0$aComputer software$xVerification
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a996199087603316
996   $aFDL 2010$92505173
997   $aUNISA