LARA

This is an old revision of the document!


Licence and Copyright

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

The material is released under Attribution-Share Alike 3.0 Unported Licence.