Deliverables

From vecolib

Revision as of 11:52, 27 February 2016 by Iosif (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

This page lists the deliverables of the project:

March 2015: D4-1: Case studies
February 2016: D1-1: Decision Procedures for Separation Logic
February 2016: D1-2: Decision Procedures for Containers (annexes: 1, 2)

Retrieved from "http://vecolib.imag.fr/index.php?title=Deliverables&oldid=10326"