Formal Methods for Industrial Critical Systems 13th International Workshop, FMICS 2008, L$1 (BAquila, Italy, September 15-16, 2008, Revised Selected Papers /s - Cofer, Darren; Fantechi, Alessandro; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Software engineering; Logic design; Computer Science; Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Special Purpose and Application-Based Systems