Difference between revisions of "News"
From vecolib
(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: