Lena Buffoni, Adrian Pop, Alachew Mengist. Traceability and impact analysis in requirement verification. In Dirk Zimmer, Bernhard Bachmann, editors, Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT '17, Weßling, Germany, December 1, 2017. pages 95-98, ACM, 2017. [doi]
Abstract is missing.