Anna Zaks, Amir Pnueli
Program analysis for compiler validation
PASTE, 2008.
@inproceedings{PASTE-2008-ZaksP, author = "Anna Zaks and Amir Pnueli", booktitle = "{Proceedings of the Eighth Workshop on Program Analysis for Software Tools and Engineering}", doi = "10.1145/1512475.1512477", isbn = "978-1-60558-382-2", pages = "1--7", publisher = "{ACM}", title = "{Program analysis for compiler validation}", year = 2008, }