Formal Methods in Requirements Engineering: Survey and Future Directions
Conference proceeding (April 2024)
The most recent citing publications are shown below. View all 17 publications that cite this research output on Dimensions.
Conference proceeding (April 2024)
Article in International Journal of Accounting Information Systems (December 2022)
Conference proceeding (October 2021)