From Separation Logic to First-Order Logic

C. Calcagno, P. Gardner and M. Hague

book title	FoSSaCS
year	2005

people	Matthew Hague
themes	Theory and Automated Verification