News
From vecolib
Revision as of 14:15, 14 December 2014 by 78.249.56.197 (Talk)
- Chin Wei Ngan (National University of Singapore) will give an introductory course in Automatic Program Verification using Separation Logic on December 12, 16 and 18 at VERIMAG.
