25 citations · 61 across the 6 of their papers we have counts for
1 paper · 1 filter
Mohammad Raza, Philippa Gardner
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address…