Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav08:licence_and_copyright [2008/04/06 14:08]
vkuncak
sav08:licence_and_copyright [2008/04/09 22:00] (current)
vkuncak
Line 3: Line 3:
 Copyright 2008, Viktor Kuncak, Ruzica Piskac and the students in Software Analysis and Verification Class Spring 2008. Copyright 2008, Viktor Kuncak, Ruzica Piskac and the students in Software Analysis and Verification Class Spring 2008.
  
-The material is released under the [[http://​creativecommons.org/​licenses/​by-sa/​3.0/​|Creative Commons Attribution-Share Alike]] Licence.+The text material is released under the [[http://​creativecommons.org/​licenses/​by-sa/​3.0/​|Creative Commons Attribution-Share Alike]] Licence ​exept where specified otherwise.
  
 
sav08/licence_and_copyright.txt · Last modified: 2008/04/09 22:00 by vkuncak
 
© EPFL 2018 - Legal notice