Tests and Proofs First International Conference, TAP 2007 Zurich, Switzerland, February 12-13, 2007 Revised Papers Meyer, Bertrand Heftet / 2007 / Engelsk
Objects, Components, Models and Patterns 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings Oriol Manuel Heftet / 2009 / Engelsk
Verified Software: Theories, Tools, Experiments First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions Meyer, Bertrand Heftet / 2008 / Engelsk
Tools for Practical Software Verification International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures Meyer, Bertrand Heftet / 2012 / Engelsk
Software Engineering International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures Meyer, Bertrand Heftet / 2016 / Engelsk
Software Engineering Approaches for Offshore and Outsourced Development First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007, Revised Papers Meyer, Bertrand Heftet / 2007 / Engelsk
Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures Meyer, Bertrand Heftet / 2012 / Engelsk
Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings Paige Richard F. Heftet / 2008 / Engelsk
Dependable Systems: Software, Computing, Networks Research Results of the DICS Program Kohlas Juerg Heftet / 2006 / Engelsk
Software Engineering Approaches for Offshore and Outsourced Development Third International Conference, SEAFOOD 2009, Zurich, Switzerland, July 2-3, 2009, Proceedings Gotel Olly Heftet / 2009 / Engelsk
Balancing Agility and Formalism in Software Engineering Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers Meyer, Bertrand Heftet / 2008 / Engelsk
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers Bruel Jean-Michel Heftet / 2019 / Engelsk
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers Bruel Jean-Michel Heftet / 2020 / Engelsk
Touch of Class Learning to Program Well with Objects and Contracts Meyer, Bertrand Heftet / 2016 / Engelsk
Touch of Class Learning to Program Well with Objects and Contracts Meyer, Bertrand Innbundet / 2009 / Engelsk
