Shangfeng Wei, Zhi Li, Yilong Yang 0001, Hongbin Xiao. Zoom4PF: A Tool for Refining Static and Dynamic Domain Descriptions in Problem Frames. In 29th IEEE International Requirements Engineering Conference, RE 2021, Notre Dame, IN, USA, September 20-24, 2021. pages 414-415, IEEE, 2021. [doi]
Abstract is missing.