Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers - Bensalem, Saddek; Peled, Doron A.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Operating systems (Computers).; Computer system performance; Software engineering; Computer software; Logic design; Computer Science; Software Engineering; Performance and Reliability; Programming Languages, Compilers, Interpreters; System Performance and Evaluation; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs