Jéssyka Vilela, Jaelson Castro, Luiz Eduardo Galvão Martins, Tony Gorschek, Carla Silva. Specifying Safety Requirements with GORE languages. In José Carlos Maldonado, Fabiano Cutigi Ferrari, Uirá Kulesza, Tayana Uchôa Conte, editors, Proceedings of the 31st Brazilian Symposium on Software Engineering, SBES 2017, Fortaleza, CE, Brazil, September 20-22, 2017. pages 154-163, ACM, 2017. [doi]
Abstract is missing.