Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers - Leucker, Martin; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
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