Charter JML workshop
January 27, 2012 all dayFoundational and Practical Aspects of Resource Analysis 2011
May 19, 2011 all dayInteractive Theorem Proving (ITP 2011)
August 22, 2011 to August 25, 2011
Critical and High Assurance Requirements Transformed through Engineering Rigour
The CHARTER Project will provide innovative packaging of knowledge and training as part of its dissemination activities during the final phase of the CHARTER project. To this end it will have a…Continue
Started Jun 6, 2011
© 2013 Created by Alec Dorling.
Comment Wall
You need to be a member of CHARTER to add comments!