Home Publications

State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings

Research Area: Uncategorized Year: 2013
Type of Publication: In Proceedings
  • Banerjee, Anindya
  • Naumann, David A.
Editor: Dave Clarke and James Noble and Tobias Wrigstad
ISBN: 978-3-642-36945-2
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