01352nam 2200385 450 991022895650332120180317091417.00-9835678-7-5(CKB)4100000000884296(WaSeSS)IndRDA00095333(EXLCZ)99410000000088429620180317d2017 || |engur|||||||||||txtrdacontentcrdamediacrrdacarrierFMCAD 2017 proceedings of the 17th Conference on Formal Methods in Computer-Aided Design : October 2-6, 2017, TU Wien, Vienna, Austria /edited by Daryl Stewart and Georg WeissenbacherNew York :IEEE,2017.1 online resource (229 pages)1-5386-1012-4 Digital integrated circuitsComputer-aided designCongressesIntegrated circuitsVerificationCongressesFormal methods (Computer science)CongressesDigital integrated circuitsComputer-aided designIntegrated circuitsVerificationFormal methods (Computer science)Stewart DarylWeissenbacher GeorgWaSeSSWaSeSSPROCEEDING9910228956503321FMCAD 20172494675UNINA