1. Verification of object-oriented programs with invariants;Barnett;Journal of Object Technology,2004
2. The Spec# programming system: An overview;Barnett,2005
3. Friends need a bit more: Maintaining invariants over shared state;Barnett,2004
4. A static analyzer for large safety-critical software;Blanchet,2003
5. An overview of JML tools and applications;Burdy;International Journal on Software Tools for Technology Transfer,2005