02134oam 2200541zu 450 991014267840332120241212215416.09781509091843150909184X(CKB)1000000000330940(SSID)ssj0000394765(PQKBManifestationID)12164180(PQKBTitleCode)TC0000394765(PQKBWorkID)10450244(PQKB)11569903(EXLCZ)99100000000033094020160829d2006 uy engtxtccrFormal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design [6th International Conference] : 12-16 November, 2006, San Jose, California, USA[Place of publication not identified]IEEE Computer Society2006Bibliographic Level Mode of Issuance: Monograph9780769527079 0769527078 Digital integrated circuitsComputer-aided designCongressesIntegrated circuitsVerificationCongressesFormal methods (Computer science)MathematicsDesign and constructionCongressesDigital integrated circuitsCongressesElectrical & Computer EngineeringHILCCEngineering & Applied SciencesHILCCElectrical EngineeringHILCCDigital integrated circuitsComputer-aided designIntegrated circuitsVerificationFormal methods (Computer science)MathematicsDesign and constructionDigital integrated circuitsElectrical & Computer EngineeringEngineering & Applied SciencesElectrical Engineering621.3815IEEE Computer SocietyFMCAD '06PQKBPROCEEDING9910142678403321Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design : 12-16 November, 2006, San Jose, California, USA2362588UNINA