01358nam 2200409 450 99627961580331620180814114510.0(CKB)3710000001156643(WaSeSS)IndRDA00103108(EXLCZ)99371000000115664320180814d2016 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierFMCAD 2016 proceedings of the 16th Conference on Formal Methods in Computer-Aided Design : October 3-6, 2016, Mountain View, California, USA /edited by Ruzica Piskac and Muralidhar TalupurAustin, Texas :FMCAD,2016.1 online resource (214 pages)1-5386-2692-6 0-9835678-6-7 Formal methods (Computer science)CongressesComputer systemsComputer-aided designCongressesSystem designCongressesElectronic books.Formal methods (Computer science)Computer systemsComputer-aided designSystem design004.0151Piskac RuzicaTalupur MuralidharWaSeSSWaSeSSPROCEEDING996279615803316FMCAD 20161945327UNISA