02044oam 2200541zu 450 99621105430331620210807002627.01-5090-8632-3(CKB)1000000000331682(SSID)ssj0000394766(PQKBManifestationID)12107832(PQKBTitleCode)TC0000394766(PQKBWorkID)10425394(PQKB)10088641(EXLCZ)99100000000033168220160829d2007 uy engtxtccrFormal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas[Place of publication not identified]IEEE Computer Society2007Bibliographic Level Mode of Issuance: Monograph0-7695-3023-0 Digital integrated circuitsComputer-aided designCongressesIntegrated circuitsVerificationCongressesFormal methods (Computer science)Design and constructionMathematicsCongressesDigital integrated circuitsCongressesElectrical & Computer EngineeringHILCCElectrical EngineeringHILCCEngineering & Applied SciencesHILCCDigital integrated circuitsComputer-aided designIntegrated circuitsVerificationFormal methods (Computer science)Design and constructionMathematicsDigital integrated circuitsElectrical & Computer EngineeringElectrical EngineeringEngineering & Applied Sciences621.3815Baumgartner JasonSheeran MaryIEEE Computer SocietyFMCAD 2007PQKBPROCEEDING996211054303316Formal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas2388533UNISA