Checking memory safety with Blast (2005)

by Dirk Beyer , Thomas A. Henzinger , Ranjit Jhala , Rupak Majumdar
Venue:Proceedings, 8th International Conference on Fundamental Approaches to Software Engineering (FASE), volume 3442 of LNCS
Citations:19 - 1 self