A certified verifier for a fragment of separation logic (0)

by N Marti, R Affeldt
Venue:Computer Software