01501nam 2200385 450 991033254590332120230721041406.01-5090-6978-X(CKB)4100000008867320(WaSeSS)IndRDA00119662(EXLCZ)99410000000886732020200305d2009 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierFMCAD 2009 proceedings of 9th International Conference 2009 Formal Methods in Computer-Aided Design : 15-18 November 2009, Austin, Texas, USA /technically sponsored by, IEEE Council on Electronic Design Automation ; in cooperation with ACM SIGDAPiscataway, New Jersey :Institute of Electrical and Electronics Engineers,2009.1 online resource (115 pages)1-4244-4965-0 Includes bibliographical references and index.Integrated circuitsVerificationCongressesDigital integrated circuitsComputer-aided designCongressesIntegrated circuitsVerificationDigital integrated circuitsComputer-aided design621IEEE Council on Electronic Design Automation,ACM Special Interest Group on Design Automation,WaSeSSWaSeSSPROCEEDING9910332545903321FMCAD 20092520506UNINA