We collect here links to other resources, mainly on the web, that are relevant and useful to our work and to others interested in the certification of software-intensive systems.  We try to keep this up to date, but if you notice a link that needs updating or want to suggest something that we have missed, we would be grateful to be informed.

To be completed

Last Updated on Tuesday, 21 September 2010 20:29