02090oam 2200517zu 450 99619885770331620210807002716.01-5090-9184-X(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: Monograph0-7695-2707-8 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 '06PQKBPROCEEDING996198857703316Formal methods in computer-aided design : Proceedings of Formal Methods in Computer Aided Design : 12-16 November, 2006, San Jose, California, USA2362588UNISA