VeriSafe 2003

Joint Workshop of the Secsafe and Verificard projects.
September 10-12, 2003. Irisa - Rennes, France.