01490nam 2200397 450 991013522120332120150328082031.0(CKB)3780000000082787(WaSeSS)IndRDA00037482(EXLCZ)99378000000008278720150328d2014 || |engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the 14th Conference on Formal Methods in Computer-Aided Design FMCAD 2014 : October 21-24, 2014, Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland /edited by Koen Claessen and Viktor KuncakAustin, Texas :FMCAD,2014.1 online resource (219 pages)Includes index.1-4799-7577-X 0-9835678-4-0 Digital integrated circuitsComputer-aided designCongressesIntegrated circuitsVerificationCongressesFormal methods (Computer science)CongressesDigital integrated circuitsComputer-aided designIntegrated circuitsVerificationFormal methods (Computer science)Claessen KoenKuncak ViktorWaSeSSWaSeSSPROCEEDING9910135221203321Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design2247727UNINA