Difference between revisions of "News"

From vecolib
Jump to: navigation, search
(Created page with "* Chin Wei Ngan (National University of Singapore) will give an introductory course in program verification using Separation Logic. Download the announcement here and visit th...")
 
Line 1: Line 1:
* Chin Wei Ngan (National University of Singapore) will give an introductory course in program verification using Separation Logic. Download the announcement here and visit the course webpage below:
+
* Chin Wei Ngan (National University of Singapore) will give an introductory course in program verification using Separation Logic. Download the announcement [[APVSL here]] and visit the course webpage below:
** Tutorial 1 : Automated Verification
+
** [http://loris-7.ddns.comp.nus.edu.sg/~project/Tut1/index.html Tutorial 1 : Automated Verification]

Revision as of 08:58, 12 December 2014

  • Chin Wei Ngan (National University of Singapore) will give an introductory course in program verification using Separation Logic. Download the announcement APVSL here and visit the course webpage below: