ID:DA13763661
International Conference on Formal Engineering Methods
Search authors sharing the same name
Adrian Riesco, Min Zhang (eds.)
Springer c2022 Lecture notes in computer science 13478
: pbk
Available at 1 libraries
Stephan Merz, Jun Pang (eds.)
Springer c2014 Lecture notes in computer science 8829 . LNCS sublibrary ; SL 2 . Programming and software engineering
Karin Breitman, Ana Cavalcanti (eds.)
Springer c2009 Lecture notes in computer science 5885
Shaoying Liu, Tom Maibaum, Keijiro Araki (eds.)
Springer c2008 Lecture notes in computer science 5256
Available at 7 libraries
Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)
Springer c2007 Lecture notes in computer science 4789
Available at 5 libraries
Zhiming Liu, Jifeng He (eds.)
Springer c2006 Lecture notes in computer science 4260
Available at 8 libraries
Kung-Kiu Lau, Richard Banach (eds.)
Springer c2005 Lecture notes in computer science 3785
Available at 10 libraries
Jim Davies, Wolfram Schulte, Mike Barnett (eds.)
Springer c2004 Lecture notes in computer science 3308
Available at 14 libraries
Jin Song Dong, Jim Woodcock (eds.)
Springer c2003 Lecture notes in computer science 2885
Available at 23 libraries
Chris George, Huaikou Miao (eds.)
Springer c2002 Lecture notes in computer science 2495
Available at 24 libraries
sponsored by IEEE Computer Society, IEEE Computer Society Technical Committee on Complexity in Computing ; in cooperation with Software Engineers Association of Japan ... [et al.] ; [edited by Michael G. Hinchey and Shaoying Liu]
IEEE Computer Society c1997
Available at 3 libraries