Rafael de Lima, Lincoln S. Rocha, Rossana M. C. Andrade, Valéria Lelli. CatchML - A Language for Modeling and Verification of Context-Aware Exception Handling Behaviour. In Valdemar Vicente Graciano Neto, Elisa Yumi Nakagawa, Bernard P. Zeigler, editors, Proceedings of the 1st Workshop on Modeling and Simulation of Software-Intensive Systems, MSSiS 2019, Salvador, Brazil, September 25, 2019. pages 49-58, SBC, 2019. [doi]
Abstract is missing.