Critical and High Assurance Requirements Transformed through Engineering Rigour
Some of the project results were presented at FOPARA 2011, the second International Workshop on Foundational and Practical Aspects of…Continue
Started Jun 6, 2011
There will be a KeY workshop at the Interactive Theorem Proving (ITP) conference in Nijmegen in August 2011.Continue
Started Mar 23, 2011
© 2013 Created by Alec Dorling.
Report an Issue |
Terms of Service
Please check your browser settings or contact your system administrator.