Separation Logic Verification of C Programs with an SMT Solver (2009)

by M Botincan, M Parkinson, W Schulte
Venue:In 4th International Workshop on Systems Software Verification (SSV). Volume 254