02444nas 22006133 450 991062618740332120221206093950.02642-732X(OCoLC)606378613(CKB)4100000009838397(CONSER)--2019204112(EXLCZ)99410000000983839720100411a19969999 --- aengurbn||||||abpurbn||||||adatxtrdacontentcrdamediacrrdacarrierFormal Methods in Computer-Aided DesignLos Alamitos, California :IEEE Computer Societyonline resourceProceedings ofProceedings of Formal Methods in Computer-Aided DesignFMCAD ...Form. Methods Comput.-Aided Des.Digital integrated circuitsComputer-aided designCongressesDigital integrated circuitsDesign and constructionData processingCongressesComputer-aided designCongressesAutomatic theorem provingCongressesIntegrated circuitsVerificationCongressesDigital integrated circuitsComputer-aided designfast(OCoLC)fst00893694Automatic theorem provingfast(OCoLC)fst00822777Computer-aided designfast(OCoLC)fst00872701Digital integrated circuitsDesign and constructionData processingfast(OCoLC)fst00893697Integrated circuitsVerificationfast(OCoLC)fst00975600Periodicals.fastConference papers and proceedings.fastDigital integrated circuitsComputer-aided designDigital integrated circuitsDesign and constructionData processingComputer-aided designAutomatic theorem provingIntegrated circuitsVerificationDigital integrated circuitsComputer-aided design.Automatic theorem proving.Computer-aided design.Digital integrated circuitsDesign and constructionData processing.Integrated circuitsVerification.621.3815IEEE Computer Society,CONFERENCE9910626187403321Formal Methods in Computer-Aided Design1891319UNINA