Patrick Henrique da S. Brito, Rogério de Lemos, Cecília M. F. Rubira. Verification of Exception Control Flows and Handlers Based on Architectural Scenarios. In 11th IEEE High Assurance Systems Engineering Symposium, HASE 2008, Nanjing, China, December 3 - 5, 2008. pages 177-186, IEEE Computer Society, 2008. [doi]
Abstract is missing.