Explicit Stabilisation for Modular Rely-Guarantee Reasoning

John Wickerson, Mike Dodds, and Matthew J. Parkinson

Details

Publication typeInproceedings
Published inESOP
Pages610-629
> Publications > Explicit Stabilisation for Modular Rely-Guarantee Reasoning