Difference between revisions of "News"
From vecolib
| Line 1: | Line 1: | ||
| − | * 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. | + | * 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 [http://www-verimag.imag.fr VERIMAG]. |
Revision as of 14:16, 14 December 2014
- 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.
