Roy Armoni, Dana Fisman, Naiyong Jin
SVA and PSL Local Variables — A Practical Approach
CAV, 2013.
@inproceedings{CAV-2013-ArmoniFJ, author = "Roy Armoni and Dana Fisman and Naiyong Jin", booktitle = "{Proceedings of the 25th International Conference on Computer Aided Verification}", doi = "10.1007/978-3-642-39799-8_13", isbn = "978-3-642-39798-1", pages = "197--212", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{SVA and PSL Local Variables — A Practical Approach}", volume = 8044, year = 2013, }