Difference between revisions of "News"

From vecolib
Jump to: navigation, search
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 [http://www-verimag.imag.fr VERIMAG].
+
* Prof. [http://www.comp.nus.edu.sg/~chinwn/ 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:17, 14 December 2014