Footprints in Local Reasoning.

Mohammad Raza, Philippa Gardner

Browse the full FOSSACS paper archive.