Explicit Stabilisation for Modular Rely-Guarantee Reasoning.

John Wickerson, Mike Dodds, Matthew J. Parkinson

Browse the full ESOP paper archive.