Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk
Certificate Translation for Optimizing Compilers
SAS, 2006.
@inproceedings{SAS-2006-BartheGKR, author = "Gilles Barthe and Benjamin Grégoire and César Kunz and Tamara Rezk", booktitle = "{Proceedings of the 13th International Static Analysis Symposium}", doi = "10.1007/11823230_20", isbn = "3-540-37756-5", pages = "301--317", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Certificate Translation for Optimizing Compilers}", volume = 4134, year = 2006, }