State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings
Research Area: | Uncategorized | Year: | 2013 |
---|---|---|---|
Type of Publication: | In Proceedings | ||
Authors: |
|
||
Editor: | Dave Clarke and James Noble and Tobias Wrigstad | ||
ISBN: | 978-3-642-36945-2 | ||
BibTex: |
|||
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 |
||
[Bibtex] |