Summary
Report on verification and confirmation of case studies and the protocol toolkit
More information & hyperlinks