Runtime Verification
Subtitle: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers
By: edited by Sarfraz Khurshid, Koushik Sen
Contributors: Sen, Koushik; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7186
Publisher: Springer Berlin Heidelberg
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642298608
Subjects: Mathematical Logic and Formal Languages; Programming Techniques; Software engineering; Algorithm Analysis and Problem Complexity; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters; Computer software