Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers - Barthe, Gilles; Burdy, Lilian; Huisman, Marieke; Lanet, Jean-Louis.; Muntean, Traian; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005)
Keywords: 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