On Local Reasoning in Verification.

Carsten Ihlemann, Swen Jacobs, Viorica Sofronie-Stokkermans

Browse the full TACAS paper archive.