News

From vecolib
Revision as of 08:56, 12 December 2014 by Iosif (Talk | contribs) (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...")

(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 here and visit the course webpage below:
    • Tutorial 1 : Automated Verification