Difference between revisions of "Deliverables"
From vecolib
| Line 3: | Line 3: | ||
* 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: [http://vecolib.imag.fr/images/7/7a/D1-1.pdf D1-1]: Decision Procedures for Separation Logic | * February 2016: [http://vecolib.imag.fr/images/7/7a/D1-1.pdf D1-1]: Decision Procedures for Separation Logic | ||
| − | * February 2016: [http://vecolib.imag.fr/index.php/File:D1-2.pdf D1-2]: Decision Procedures for Containers (annexes: ) | + | * February 2016: [http://vecolib.imag.fr/index.php/File:D1-2.pdf D1-2]: Decision Procedures for Containers (annexes: [http://vecolib.imag.fr/images/d/d0/ArXiv-1507.05581.pdf 1], [http://vecolib.imag.fr/images/b/bb/Ir-Toussaint-1509.pdf 2]) |
Revision as of 11:52, 27 February 2016
This page lists the deliverables of the project:
