Paper presentation at FTfJP
Our paper “Towards Modular Reasoning for Context-Oriented Programs” (authored by Aotani and Leavens) was accepted for publication at the International Workshop on Formal Techniques for Java-like Programs (FTfJP), co-located with ECOOP 2016.