Qianqian Liu, Xiaohong Chen, Zhi Jin. Environment Model based Requirements Consistency Verification: An Example. In Tao Yue, Mehdi Mirakhorli, editors, 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021. pages 422-427, IEEE, 2021. [doi]
Abstract is missing.