News

From vecolib

Revision as of 08:58, 12 December 2014 by Iosif (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

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

Retrieved from "http://vecolib.imag.fr/index.php?title=News&oldid=56"