Elvira Albert

• Formal Techniques for Distributed Objects, Components, and Systems
• Integrated Formal Methods
• Logic-Based Program Synthesis and Transformation
• Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation