ID:DA12901850
IFM
Conference on Integrated Formal Methods, International
Interntaional Conference, IFM
同姓同名の著者を検索
Maurice H. ter Beek, Rosemary Monahan (eds.)
Springer c2022 Lecture notes in computer science 13274 . Formal methods
: pbk
所蔵館1館
Jim Davies, Jeremy Gibbons (eds.)
Springer c2007 Lecture notes in computer science 4591
所蔵館4館
Judi Romijn, Graeme Smith, Jaco van de Pol (eds.)
Springer c2005 Lecture notes in computer science 3771
所蔵館7館
Eerke A. Boiten, John Derrick, Graeme Smith (eds.)
Springer c2004 Lecture notes in computer science 2999
所蔵館17館
Michael Butler, Luigia Petre, Kaisa Sere (eds.)
Springer c2002 Lecture notes in computer science 2335
所蔵館29館
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)
Springer c2000 Lecture notes in computer science 1945
所蔵館33館