Reading: [(Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, Cassis 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers )] [Author: Gilles Barthe] [Apr-2005] full version

You are about to access our book library "[(Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, Cassis 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers )] [Author: Gilles Barthe] [Apr-2005] full version" .