| Titel | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and ... Notes in Computer Science, Band 10471) | 978-3-319-67112-3 | 2017 | Laure Petrucci · Cristina Seceleanu |
| FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings | 978-3-642-05088-6 | 2009 | Dennis Dams |
| Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... / Programming and Software Engineering) | 978-3-642-10372-8 | 2010 | Karin Breitman |
| Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... Notes in Computer Science , Band 3167) | 978-3-540-46253-8 | 2010 | Augusto Sampaio · Jim Woodcock |
| Testing Techniques in Software Engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, ... Notes in Computer Science , Band 6153) | 978-3-642-14334-2 | 2010 | Paulo Borba · Augusto Sampaio · Jim Woodcook |
| Theoretical Aspects of Computing: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings | 978-3-642-14807-1 | 2010 | David Deharbe · Marie-Claude Gaudel · Jim Woodcock |
| Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings | 978-3-540-48815-6 | 2008 | Antonio Cerone · Kamel Barkaoui |