New Opportunities for Integrated Formal Methods
Article in ACM Computing Surveys (October 2019)
The most recent citing publications are shown below. View all 14 publications that cite this research output on Dimensions.
Article in ACM Computing Surveys (October 2019)
Preprint in arXiv (December 2018)
Article in Software Practice and Experience (October 2018)