Runtime verification 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 : selected papers - RV 2009 (2009 : Grenoble, France); Bensalem, Saddek; Peled, Doron A.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Formal methods (Computer science) -- Congresses; Computer programs -- Verification -- Congresses; Computer programs -- Testing -- Congresses; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; System Performance and Evaluation; Programming Languages, Compilers, Interpreters; Performance and Reliability; Software Engineering