Copyright 2008, Viktor Kuncak, Ruzica Piskac and the students in Software Analysis and Verification Class Spring 2008.

The text material is released under the Creative Commons Attribution-Share Alike Licence exept where specified otherwise.