LEADER 02846oas 22008413 450 001 9910626187403321 005 20250606213024.0 011 $a2642-732X 035 $a(OCoLC)606378613 035 $a(CONSER) 2019204112 035 $a(CKB)4100000009838397 035 $a(EXLCZ)994100000009838397 100 $a20100411a19969999 uy a 101 0 $aeng 135 $aurbn||||||abp 135 $aurbn||||||ada 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal Methods in Computer-Aided Design 210 1$aLos Alamitos, California :$cIEEE Computer Society 215 $aonline resource 517 1 $aProceedings of 517 1 $aProceedings of Formal Methods in Computer-Aided Design 517 1 $aFMCAD ... 531 0 $aForm. Methods Comput.-Aided Des. 606 $aDigital integrated circuits$xComputer-aided design$vCongresses 606 $aDigital integrated circuits$xDesign and construction$xData processing$vCongresses 606 $aComputer-aided design$vCongresses 606 $aAutomatic theorem proving$vCongresses 606 $aIntegrated circuits$xVerification$vCongresses 606 $aDigital integrated circuits$xComputer-aided design$2fast$3(OCoLC)fst00893694 606 $aAutomatic theorem proving$2fast$3(OCoLC)fst00822777 606 $aComputer-aided design$2fast$3(OCoLC)fst00872701 606 $aDigital integrated circuits$xDesign and construction$xData processing$2fast$3(OCoLC)fst00893697 606 $aIntegrated circuits$xVerification$2fast$3(OCoLC)fst00975600 608 $aPeriodicals.$2fast 608 $aConference papers and proceedings.$2fast 615 0$aDigital integrated circuits$xComputer-aided design 615 0$aDigital integrated circuits$xDesign and construction$xData processing 615 0$aComputer-aided design 615 0$aAutomatic theorem proving 615 0$aIntegrated circuits$xVerification 615 7$aDigital integrated circuits$xComputer-aided design. 615 7$aAutomatic theorem proving. 615 7$aComputer-aided design. 615 7$aDigital integrated circuits$xDesign and construction$xData processing. 615 7$aIntegrated circuits$xVerification. 676 $a621.3815 712 02$aIEEE Computer Society, 801 0$bOCLCE 801 1$bOCLCE 801 2$bOCLCQ 801 2$bOCLCO 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCO 801 2$bOCL 801 2$bOCLCO 801 2$bOCLCQ 801 2$bDLC 801 2$bOCL 801 2$bDLC 801 2$bVT2 801 2$bOCL 801 2$bOCLCO 801 2$bOCLCQ 801 2$bCN8BJ 801 2$bOCLCL 906 $aCONFERENCE 912 $a9910626187403321 996 $aFormal Methods in Computer-Aided Design$91891319 997 $aUNINA