EEMCS

Rebelo, H. and Coelho, R. and Lima, R. and Leavens, G.T. and Huisman, M. and Mota, A. and Castor, F. (2011) On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach. In: Proceedings of the 13th Workshop on Formal Techniques for Java-like Programs, FTfJP 2011, 26th of July 2011, Lancaster, UK. 7:1-7:6. ACM. ISBN 978-1-4503-0893-9

Albert, E. and Banerjee, A. and Drossopoulou, S. and Huisman, M. and Igarashi, A. and Leavens, G.T. and Müller, P. and Wrigstad, T. (2009) Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008. In: Object-Oriented Technology. ECOOP 2008 Workshop Reader, July 8, 2008, Paphos, Cyprus. pp. 70-76. Lecture Notes in Computer Science 5475. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-02046-9

Huisman, M. and Aldrich, J. and Barnett, M. and Giannakopoulou, D. and Leavens, G.T. and Sharagyna, N. (2009) Foreword. In: SAVCBS '09 - Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, 25 August 2009, Amsterdam. pp. 3-3. ACM. ISBN 978-1-60558-680-9