Home Publications

Local Reasoning for Global Invariants, Part II: Dynamic Boundaries

Research Area: Uncategorized Year: 2013
Type of Publication: Article
Authors:
  • Banerjee, Anindya
  • Naumann, David A.
Journal: J. ACM Volume: 60
Number: 3 Pages: 19
Journal's impact factor: 2.353
BibTex:
Note:
(Partners: IMDEA, Projects: Madrid Regional Government Project S2009TIC-1465 Prometidos; MINECO Project TIN2009-14599-C03-02 Desafios; EU NoE Project 256980 Nessos; US NSF grants CNS-0627748 and ITR-0326577; US NSF grants CNS-0627338, CRI-0708330, CCF-0429894, CCF-0915611, NoTrier) CITE(03/03/2014):5
[Bibtex]