01664nam 2200481 450 99646452720331620220727184248.03-030-90870-4(MiAaPQ)EBC6801970(Au-PeEL)EBL6801970(CKB)19410712400041(OCoLC)1285171495(PPN)258838701(EXLCZ)991941071240004120220727d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFormal methods 24th International Symposium, FM 2021, Virtual event, November 20-26, 2021, Proceedings /Marieke Huisman, Corina Păsăreanu, Naijun Zhan (editors)Cham, Switzerland :Springer,[2021]©20211 online resource (801 pages)Lecture notes in computer science ;13047Print version: Huisman, Marieke Formal Methods Cham : Springer International Publishing AG,c2021 9783030908690 Includes bibliographical references and index.Lecture notes in computer science ;13047.Formal methods (Computer science)CongressesFormal methods (Computer science)Formal methods (Computer science)Formal methods (Computer science)004.0151Huisman MariekePăsăreanu Corina S.Zhan NaijunMiAaPQMiAaPQMiAaPQBOOK996464527203316Formal methods2247212UNISA