Model checking one million lines of C code (2004)

by Hao Chen , Drew Dean , David Wagner
Venue:In Proceedings of the 11th Annual Network and Distributed System Security Symposium (NDSS
Citations:69 - 2 self