| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... in Computer Science , Band 11758) | 978-3-030-32440-7 (3-030-32440-0) | 2019 | Brijesh Dongol · Graeme Smith |
| Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings | 978-3-642-38612-1 (3-642-38612-1) | 2013 | Einar Broch Johnsen |
| Integrated Formal Methods: Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. | 978-3-540-43703-1 (3-540-43703-7) | 2008 | Michael Butler · Kaisa Sere |
L.P. · Laak Petra · Laski Piotr · Leach Peter · Lewicki Piotr · Lewis Potter · Lihocky Petra · Lis Piotr · Loesche Peter · Loïc Peter · Lois Potter · Louis Potter · Louisa Potter · Louise Potter · Louise Powter · Louÿs Pitre · Luc Patry · Luca Patria · Luce Pietri · Lucy Peter · LUZI Pietro