Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Separation Logic Verification of C Programs with an SMT Solver

Matko Botincan, Matthew J. Parkinson, and Wolfram Schulte

Details

Publication typeArticle
Published inElectr. Notes Theor. Comput. Sci.
Pages5-23
Volume254
> Publications > Separation Logic Verification of C Programs with an SMT Solver