Introduction to theme section on requirements formalisation

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

Abstract is missing.