SEI Software Verification Workshop: Program Software Engineering Institute, Pittsburgh, PA, 15213

• Sriram Rajamani, James Larus and Jakob Rehof (2003) Sriram Rajamani, James Larus and Jakob Rehof "Contracts and Futures for Asynchronous Programming"