| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, ... Notes in Computer Science , Band 1051) | 978-3-540-60973-5 | 2008 | James Woodcock |
| Précis de génie logiciel | 978-2-225-85189-6 | 1996 | Bruno Marre · Françoise Schlienger · Gilles Bernot |
| TAPSOFT'93: Theory and Practice of Software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 Proceedings | 978-3-540-56610-6 | 2009 | Jean-Pierre Jouannaud |
| Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings | 978-3-642-14807-1 | 2010 | Ana Cavalcanti · David Deharbe · Jim Woodcock |
| Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers | 978-3-642-35704-6 | 2013 | Burkhard Wolff · Abderrahmane Feliachi |
C. G. · Gaudel Marie-Claude · M.C. · M. C. Gaudel · M G***