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