Kevin Lano, Shekoufeh Kolahdouz Rahimi, Sobhan Yassipour Tehrani, Lola BurgueƱo, Muhammad Aminu Umar. Introduction to theme section on requirements formalisation. Software and Systems Modeling, 23(6):1451-1453, December 2024. [doi]
Abstract is missing.