Difference between revisions of "Deliverables"
From vecolib
Sighireanu (Talk | contribs) (change in the web address) |
|||
| 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 | ||
Revision as of 17:22, 19 February 2016
This page lists the deliverables of the project:
- March 2015: D4-1: Case studies
- February 2016: Decision Procedures for Separation Logic
