DMCA

Synergy: A new algorithm for property checking (2006)

Cached

Download Links

by Bhargav S. Gulavani , Thomas A. Henzinger , Yamini Kannan , Aditya V. Nori , Sriram K. Rajamani
Venue:In FSE 06: Proceedings of the Symposium on Foundations of Software Engineering. ACM
Citations:129 - 19 self