01358nam 2200385 450 99657529610331620230124200416.00-9835678-8-3(CKB)4100000007451913(WaSeSS)IndRDA00121831(EXLCZ)99410000000745191320200413d2018 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2018 Formal Methods in Computer Aided Design 30 October-2 November 2018, Austin, TX, USA /Institute of Electrical and Electronics EngineersPiscataway, New Jersey :Institute of Electrical and Electronics Engineers,2018.1 online resource (10 pages)1-5386-7567-6 Formal methods (Computer science)CongressesComputer systemsComputer-aided designCongressesSystem designCongressesFormal methods (Computer science)Computer systemsComputer-aided designSystem design004.0151Institute of Electrical and Electronics Engineers,WaSeSSWaSeSSPROCEEDING9965752961033162018 Formal Methods in Computer Aided Design2541711UNISA