ID:DA07237890
FME
Symposium of Formal Methods Europe, International
Search authors sharing the same name
André Platzer [and three others], editors
Springer , [2025] , c2025 Lecture notes in computer science 14934 . Formal methods
part 2
Available at 1 libraries
Springer , [2025] , c2025 Lecture notes in computer science 14933 . Formal methods
part 1
Marieke Huisman, Corina Păsăreanu, Naijun Zhan (eds.)
Springer c2021 Lecture notes in computer science 13047 . LNCS sublibrary ; SL 2 . Programming and software engineering
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira (eds.)
Springer c2019 Lecture notes in computer science 11800 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering
Klaus Havelund ... [et al.] (eds.)
Springer c2018 Lecture notes in computer science 10951 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering
John Fitzgerald ... [et al.] (eds.)
Springer c2016 Lecture notes in computer science 9995 . Formal methods . LNCS sublibrary ; SL 2 . Programming and software engineering
Manuel Núñez, Matthias Güdemann (eds.)
Springer c2015 Lecture notes in computer science 9128 . LNCS sublibrary ; SL 2 . Programming and software engineering
Nikolaj Bjørner, Frank de Boer (eds.)
Springer c2015 Lecture notes in computer science 9109 . LNCS sublibrary ; SL 2 . Programming and software engineering
Ana Cavalcanti, Dennis Dams (eds.)
Springer c2009 Lecture notes in computer science 5850
Available at 5 libraries
John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
Springer c2005 Lecture notes in computer science 3582
Available at 11 libraries
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
Springer c2003 Lecture notes in computer science 2805
Available at 22 libraries
Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
Springer c2002 Lecture notes in computer science 2391
Available at 29 libraries
José Nuno Oliveira, Pamela Zave (eds.)
Springer c2001 Lecture notes in computer science 2021
Available at 32 libraries
John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.)
Springer c1997 Lecture notes in computer science 1313
: pbk
Available at 40 libraries
Marie-Claude Gaudel, James Woodcock, (eds.)
Springer-Verlag c1996 Lecture notes in computer science 1051
Available at 51 libraries
Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
Springer-Verlag c1994 Lecture notes in computer science 873
: gw , : us
Available at 55 libraries
J.C.P. Woodcock, P.G. Larsen (eds.)
Springer-Verlag c1993 Lecture notes in computer science 670
: us , : gw
Available at 53 libraries