Back to Search
Start Over
On the interplay of exception handling and design by contract.
- Source :
- Proceedings of the 13th Workshop: Formal Techniques for Java-Like Programs; Jul2011, p1-6, 6p
- Publication Year :
- 2011
Details
- Language :
- English
- ISBNs :
- 9781450308939
- Database :
- Complementary Index
- Journal :
- Proceedings of the 13th Workshop: Formal Techniques for Java-Like Programs
- Publication Type :
- Conference
- Accession number :
- 83784371
- Full Text :
- https://doi.org/10.1145/2076674.2076681