%0 Journal Article %1 journals/tse/BorgerS00 %A Börger, Egon %A Schulte, Wolfram %D 2000 %J IEEE Trans. Software Eng. %K %N 9 %P 872-887 %T A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study. %U http://dblp.uni-trier.de/db/journals/tse/tse26.html#BorgerS00 %V 26

@article{journals/tse/BorgerS00, added-at = {2023-12-13T01:00:26.000+0100}, author = {Börger, Egon and Schulte, Wolfram}, biburl = {https://www.bibsonomy.org/bibtex/235e61f23c87b11365062a173b9c48368/admin}, ee = {http://doi.ieeecomputersociety.org/10.1109/32.877847}, interhash = {6b82c5ad76939a24e54bf26deae6c6b8}, intrahash = {35e61f23c87b11365062a173b9c48368}, journal = {IEEE Trans. Software Eng.}, keywords = {}, number = 9, pages = {872-887}, timestamp = {2023-12-13T01:00:26.000+0100}, title = {A Practical Method for Specification and Analysis of Exception Handling - A Java/JVM Case Study.}, url = {http://dblp.uni-trier.de/db/journals/tse/tse26.html#BorgerS00}, volume = 26, year = 2000 }