ISBN-13: 9783642357459, 978-3642357459. LASER 2011 is devoted to software verification tools. There have been great advances in the field of software verification in recent years. During the school the participants will not only learn the principles behind the tools, but also get hands-on experience, trying the tools on real programs.
eBay