@conference{DBLP:series/lncs/BanerjeeN13,
author = "Anindya Banerjee and David A. Naumann",
editor = "Dave Clarke and               James Noble and               Tobias Wrigstad",
isbn = "978-3-642-36945-2",
note = "PARTNERS: IMDEA
PROJECTS: CM Project S2009TIC-1465 Prometidos, MICINN Project TIN2009-14599-C03-02 Desafios, EU NoE Project 256980 Nessos, NSF grant CCF-0915611 and Microsoft Research.
CITE(03/03/2014):3
notier",
publisher = "Springer",
title = "{S}tate {B}ased {E}ncapsulation for {M}odular {R}easoning about {B}ehavior-{P}reserving               {R}efactorings",
year = "2013",
}