01349oam 2200421zu 450 991014098850332120210807001409.00-9835678-0-8(CKB)2670000000089057(SSID)ssj0000608381(PQKBManifestationID)12272588(PQKBTitleCode)TC0000608381(PQKBWorkID)10591627(PQKB)11055482(NjHacI)992670000000089057(EXLCZ)99267000000008905720160829d2010 uy engur|||||||||||txtccr2010 Formal Methods in Computer-Aided Design[Place of publication not identified]IEEE20101 online resource (vii, 279 pages) illustrationsBibliographic Level Mode of Issuance: Monograph1-4577-0734-9 Formal methods (Computer science)CongressesDigital integrated circuitsComputer-aided designCongressesFormal methods (Computer science)Digital integrated circuitsComputer-aided design004.0151IEEE StaffPQKBPROCEEDING99101409885033212010 Formal Methods in Computer-Aided Design2546678UNINA