Microsoft Research
Microsoft Translator |
Explicit Stabilisation for Modular Rely-Guarantee Reasoning

John Wickerson, Mike Dodds, and Matthew J. Parkinson
2010

In  ESOP

Details

TypeInproceedings
Pages610-629
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > Explicit Stabilisation for Modular Rely-Guarantee Reasoning