Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers / [electronic resource] :
edited by Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3362 0302-9743 ; .
9783540305699
Computer science Software engineering Operating systems (Computers) Logic design Computer Science Software Engineering Special Purpose and Application-Based Systems Programming Techniques Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs