Friends Need a Bit More: Maintaining Invariants Over Shared State

Mike Barnett and David A. Naumann

Details

Publication typeInproceedings
Published inSeventh International Conference on Mathematics of Program Construction (MPC 2004)
Pages54-84
SeriesLecture Notes in Computer Science
PublisherSpringer-Verlag
> Publications > Friends Need a Bit More: Maintaining Invariants Over Shared State