Nicola Atzei, Massimo Bartoletti. Developing Honest Java Programs with Diogenes. Elvira Albert; Ivan Lanese. 36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. Lecture
HAL Archives-Ouvertes,
hal-01432927, version 1 Abstract : Modern distributed applications are typically obtained by integrating new code with legacy (an…