W.r.: MRI: Modular reasoning about interference in incremental programming (0)

by B c d s Oliveira, T Schrijvers, Cook
Venue:J. Funct. Program.’12