Formal Methods: Foundations and Applications 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings Cavalheiro, Simone Heftet / 2017 / Engelsk
Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings Fiadeiro, José Heftet / 2008 / Engelsk
Recent Trends in Algebraic Development Techniques 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers Fiadeiro, José Luiz Heftet / 2019 / Engelsk
Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers Fiadeiro, José Luiz Heftet / 2007 / Engelsk
Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers Fiadeiro, José Luiz Heftet / 2005 / Engelsk
Formal Aspects of Component Software 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers Fiadeiro, José Luiz Heftet / 2014 / Engelsk
Business Process Management 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings Dustdar Schahram Heftet / 2006 / Engelsk
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings Fiadeiro, José Luis Heftet / 2005 / Engelsk