Inference of Properties from Requirements and Automation of Their Formal Verification
Conference proceeding (November 2019)
The most recent citing publications are shown below. View all 7 publications that cite this research output on Dimensions.
Conference proceeding (November 2019)
Article in Journal of Computing and Information Science in Engineering (June 2019)
Conference proceeding (October 2013)