×
  • Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

    David Aspinall Stephen Gilmore (auth.) Gilles Barthe Lilian Burdy Marieke Huisman Jean-Louis Lanet Traian Muntean (eds.)

Click on cover to enlarge.
5 - 6Hours to read