Local Reasoning for Global Invariants, Part I: Region Logic

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2013
Type of Publication:	Article
Authors:	Banerjee, Anindya Naumann, David A. Rosenberg, Stan
Journal:	J. ACM	Volume:	60
Number:	3	Pages:	18

Journal's impact factor:	2.353
@article{DBLP:journals/jacm/BanerjeeNR13, author = "Anindya Banerjee and David A. Naumann and Stan Rosenberg", journal = "J. ACM", 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):10", number = "3", pages = "18", title = "{L}ocal {R}easoning for {G}lobal {I}nvariants, {P}art {I}: {R}egion {L}ogic", volume = "60", year = "2013", }
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):10
[Bibtex]