EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 1. 2011
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
This list was generated on Thu May 24 06:16:51 CEST 2012. |
||||||||||||||||