LEADER 01490nam  2200397   450 
001 9910135221203321
005 20150328082031.0
035   $a(CKB)3780000000082787
035   $a(WaSeSS)IndRDA00037482
035   $a(EXLCZ)993780000000082787
100   $a20150328d2014      ||             |
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aProceedings of the 14th Conference on Formal Methods in Computer-Aided Design $eFMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland /$fedited by Koen Claessen and Viktor Kuncak
210  1$aAustin, Texas :$cFMCAD,$d2014.
215   $a1 online resource (219 pages)
300   $aIncludes index.
311   $a1-4799-7577-X 
311   $a0-9835678-4-0 
606   $aDigital integrated circuits$xComputer-aided design$vCongresses
606   $aIntegrated circuits$xVerification$vCongresses
606   $aFormal methods (Computer science)$vCongresses
615  0$aDigital integrated circuits$xComputer-aided design
615  0$aIntegrated circuits$xVerification
615  0$aFormal methods (Computer science)
702   $aClaessen$b Koen
702   $aKuncak$b Viktor
801  0$bWaSeSS
801  1$bWaSeSS
906   $aPROCEEDING
912   $a9910135221203321
996   $aProceedings of the 14th Conference on Formal Methods in Computer-Aided Design$92247727
997   $aUNINA