Local Reasoning for Global Invariants, Part II: Dynamic Boundaries
Research Area: | Uncategorized | Year: | 2013 |
---|---|---|---|
Type of Publication: | Article | ||
Authors: |
|
||
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] |