01542nam 2200457 450 991057405880332120231110231427.03-031-07727-X(MiAaPQ)EBC7007366(Au-PeEL)EBL7007366(CKB)23114192800041EBL7007366(AU-PeEL)EBL7007366(PPN)268784744(EXLCZ)992311419280004120221219d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierIntegrated formal methods 17th international conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, proceedings /edited by Maurice H. ter Beek and Rosemary MonahanCham, Switzerland :Springer,[2022]©20221 online resource (372 pages)Lecture Notes in Computer Science ;v.13274Includes index.Print version: ter Beek, Maurice H. Integrated Formal Methods Cham : Springer International Publishing AG,c2022 9783031077265 Lecture Notes in Computer Science Formal methods (Computer science)Formal methods (Computer science)004.0151Beek Maurice H. terMonahan RosemaryMiAaPQMiAaPQMiAaPQBOOK9910574058803321Integrated Formal Methods2860239UNINA