ID:DA12901850
IFM
Conference on Integrated Formal Methods, International
Interntaional Conference, IFM
Search authors sharing the same name
Maurice H. ter Beek, Rosemary Monahan (eds.)
Springer c2022 Lecture notes in computer science 13274 . Formal methods
: pbk
Available at 1 libraries
Jim Davies, Jeremy Gibbons (eds.)
Springer c2007 Lecture notes in computer science 4591
Available at 4 libraries
Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)
Springer c2005 Lecture notes in computer science 3771
Available at 7 libraries
Eerke A. Boiten, John Derrick, Graeme Smith (eds.)
Springer c2004 Lecture notes in computer science 2999
Available at 17 libraries
Michael Butler, Luigia Petre, Kaisa Sere (eds.)
Springer c2002 Lecture notes in computer science 2335
Available at 29 libraries
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
Springer c2000 Lecture notes in computer science 1945
Available at 33 libraries