Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers - Sokolsky, Oleg.; Taran, Serdar; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer science; Software engineering; Logic design; Information Systems; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Management of Computing and Information Systems