ID:DA07237890
FME
Symposium of Formal Methods Europe, International
同姓同名の著者を検索
André Platzer [and three others], editors
Springer , [2025] , c2025 Lecture notes in computer science 14934 . Formal methods
part 2
所蔵館1館
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
所蔵館5館
John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)
Springer c2005 Lecture notes in computer science 3582
所蔵館11館
Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.)
Springer c2003 Lecture notes in computer science 2805
所蔵館22館
Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)
Springer c2002 Lecture notes in computer science 2391
所蔵館29館
José Nuno Oliveira, Pamela Zave (eds.)
Springer c2001 Lecture notes in computer science 2021
所蔵館32館
John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.)
Springer c1997 Lecture notes in computer science 1313
: pbk
所蔵館40館
Marie-Claude Gaudel, James Woodcock, (eds.)
Springer-Verlag c1996 Lecture notes in computer science 1051
所蔵館51館
Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.)
Springer-Verlag c1994 Lecture notes in computer science 873
: gw , : us
所蔵館55館
J.C.P. Woodcock, P.G. Larsen (eds.)
Springer-Verlag c1993 Lecture notes in computer science 670
: us , : gw
所蔵館53館