Egon Börger, Wolfram Schulte. A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. IEEE Trans. Software Eng., 26(9):872-887, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.