Explicit Stabilisation for Modular Rely-Guarantee Reasoning

In  ESOP

Details

TypeInproceedings
Pages610-629
> Publications > Explicit Stabilisation for Modular Rely-Guarantee Reasoning