REVEAL Workshop Review & Resources September 23, 2016 | Jochen Spangenberg
REVEAL Results Vol 1: Verification tools, knowledge and code... December 16, 2016 | Jochen Spangenberg
Verify This Week (25/2014) August 25, 2014 | Linda Rath-Wiggins
Verify This Week (11/2015) May 12, 2015 | Linda Rath-Wiggins
This project has received funding from the European Union’s Seventh Framework Programme for research, technological development and demonstration under grant agreement no 610928.