Empirical Software Engineering and Verification International Summer Schools, LASER 2008-2010, 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
Tools for Practical Software Verification International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures Meyer, Bertrand Heftet / 2012 / Engelsk
Software Engineering Approaches for Offshore and Outsourced Development 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010, Proceedings Nordio Martin Heftet / 2010 / Engelsk
Software Engineering Approaches for Offshore and Outsourced Development Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008, Revised Papers Berkling Kay Heftet / 2009 / Engelsk
