Friends Need a Bit More: Maintaining Invariants Over Shared State
Mike Barnett and David A. Naumann
July 2004
In: Seventh International Conference on Mathematics of Program Construction (MPC 2004)
Publisher: Springer-Verlag
Details
| Type: | Inproceedings |
| Pages: | 54-84 |
| Series: | Lecture Notes in Computer Science |
Related People
©2009 Microsoft Corporation. All rights reserved.