Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||