Deliverables

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

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: )