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...") |
(No difference)
|
Revision as of 08:56, 12 December 2014
- 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:
- Tutorial 1 : Automated Verification
