02088oam 2200565zu 450 991014300400332120241212215533.097815090863201509086323(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: Monograph9780769530239 0769530230 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 2007PQKBPROCEEDING9910143004003321Formal methods in computer-aided design : FMCAD 2007 : proceedings : November 11-14, 2007, Austin, Texas2388533UNINA