Nicu G. Fruja, Egon Börger. Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis. Journal of Object Technology, 5(3):5-34, 2006. [doi]
@article{FrujaB06, title = {Modeling the .NET CLR Exception Handling Mechanism for a Mathematical Analysis}, author = {Nicu G. Fruja and Egon Börger}, year = {2006}, url = {http://www.jot.fm/issues/issue_2006_04/article1}, tags = {exceptions, modeling, analysis}, researchr = {https://researchr.org/publication/FrujaB06}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {5}, number = {3}, pages = {5-34}, }