Summary
Report on Code-Level Contracts for Energy, Time and Security
More information & hyperlinks