FME '96: Industrial Benefit and Advances in Formal Methods Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. Gaudel Marie-Claude Heftet / 1996 / Engelsk
TAPSOFT '93: Theory and Practice of Software Development 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993. Proceedings Gaudel Marie-Claude Heftet / 1993 / Engelsk
Unifying Theories of Programming 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers Wolff, Burkhard Heftet / 2013 / Engelsk
Theoretical Aspects of Computing 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings Cavalcanti Ana Heftet / 2010 / Engelsk
