Shaobo He, Shuvendu K. Lahiri, Zvonimir Rakamaric. Verifying Relative Safety, Accuracy, and Termination for Program Approximations. Journal of Automated Reasoning, 60(1):23-42, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.