Regression Verification - A Practical Way to Verify Programs

@inproceedings{Strichman2005RegressionV,
  title={Regression Verification - A Practical Way to Verify Programs},
  author={Ofer Strichman and Benny Godlin},
  booktitle={VSTTE},
  year={2005}
}
Highly Cited
This paper has 36 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 24 extracted citations

Similar Papers

Loading similar papers…