Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet <br/><br/>
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices 

 - Germany  Springer  2006 
<br/><br/><label>ISBN: </label>978-3-540-33691-4 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer Science<br/>Construction and Analysis of Safe, Secure, and Interoperable Smart Devices