Runtime verification
Subtitle: third international conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers
By: Shaz Qadeer, Serdar Tasiran (eds.).
Contributors: Qadeer, Shaz; Tasiran, Serdar
Series: Lecture notes in computer science -- 7687.; LNCS sublibrary. SL 2, Programming and software engineering; Lecture notes in computer science -- 7687.; LNCS sublibrary
Publisher: Springer
Published: 2013
Place of publication: Berlin; New York
Language: eng
Number of pages: 322
ISBN-13: 9783642356315; 9783642356322
Subjects: Computer software; Congresses; Verification; Formal methods (Computer science); Testing
Other titles: RV 2012.
Notes: Includes bibliographical references and author index.