论文信息 - Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II - 字舞流文

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

Allan Clark | Stephen Gilmore | Nora Koch | Martin Wirsing | Stefania Gnesi | Franco Mazzanti | Francesco Tiezzi | Mirco Tribastone | Dániel Varró | Rosario Pugliese | Alessandro Fantechi | Alessandro Lapadula | Lucia Acciai | Philip Mayer | László Gönczy | Matthias M. Hölzl | Federico Banti | Matthias Hölzl | Andreas Schroeder | S. Gilmore | R. Pugliese | A. Fantechi | S. Gnesi | László Gönczy | F. Tiezzi | M. Wirsing | Andreas Schroeder | F. Mazzanti | M. Tribastone | N. Koch | A. Lapadula | Dániel Varró | Lucia Acciai | F. Banti | Allan Clark | Philip Mayer