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...")
(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