Separation Logic Verification of C Programs with an SMT Solver

In  Electr. Notes Theor. Comput. Sci.

Details

TypeArticle
Pages5-23
Volume254
> Publications > Separation Logic Verification of C Programs with an SMT Solver