![[ACM Press the 31st Brazilian Symposium - Fortaleza, CE, Brazil (2017.09.20-2017.09.22)] Proceedings of the 31st Brazilian Symposium on Software Engineering - SBES'17 - Specifying Safety Requirements with GORE languages]()
[ACM Press the 31st Brazilian Symposium - Fortaleza, CE, Brazil (2017.09.20-2017.09.22)] Proceedings of the 31st Brazilian Symposium on Software Engineering - SBES'17 - Specifying Safety Requirements with GORE languagesVilela, Jéssyka; Castro, Jaelson; Martins, Luiz Eduardo G.; Gorschek, Tony; Silva, Carla · 2017