FM 2009: Formal Methods Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings Cavalcanti Ana Heftet / 2009 / Engelsk
Practice of Formal Methods Essays in Honour of Cliff Jones, Part I Cavalcanti Ana Heftet / 2024 / Engelsk
Practice of Formal Methods Essays in Honour of Cliff Jones, Part II Cavalcanti Ana Heftet / 2024 / Engelsk
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings Beyer Dirk Heftet / 2024 / Engelsk
Formal Methods and Software Engineering 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings Breitman Karin Heftet / 2009 / Engelsk
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings Barkaoui Kamel Heftet / 2006 / Engelsk
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings Petrucci Laure Heftet / 2017 / Engelsk
Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures Cavalcanti Ana Heftet / 2006 / Engelsk
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures Borba Paulo Heftet / 2010 / Engelsk
Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings Cavalcanti Ana Heftet / 2010 / Engelsk
