Nicolas Frisby
Unifying Analysis Tools with Rosetta
ASE, 2008.
@inproceedings{ASE-2008-Frisby, author = "Nicolas Frisby", booktitle = "{Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering}", doi = "10.1109/ASE.2008.93", pages = "505--508", publisher = "{IEEE}", title = "{Unifying Analysis Tools with Rosetta}", year = 2008, }