Difference between revisions of "Deliverables"
From vecolib
| Line 2: | Line 2: | ||
* March 2015: [http://www.liafa.univ-paris-diderot.fr/~sighirea/projects/vecolib/deliverables/d4-1.pdf D4-1]: Case studies | * March 2015: [http://www.liafa.univ-paris-diderot.fr/~sighirea/projects/vecolib/deliverables/d4-1.pdf D4-1]: Case studies | ||
| − | * February 2016: Decision Procedures for Separation Logic | + | * February 2016: [http://vecolib.imag.fr/images/7/7a/D1-1.pdf D1-1]: Decision Procedures for Separation Logic |
Revision as of 18:31, 19 February 2016
This page lists the deliverables of the project:
