Runtime verification
Subtitle: 8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers
By: Martin Leucker (ed.).
Contributors: Leucker, Martin.
Series: Lecture notes in computer science -- 5289; LNCS sublibrary. SL 2, Programming and software engineering; Lecture notes in computer science -- 5289.; LNCS sublibrary
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 187
ISBN-13: 9783540892465
Subjects: Formal methods (Computer science) -- Congresses; Computer software -- Verification -- Congresses; Computer software -- Testing -- Congresses
Genres: Congresses
Notes: Includes bibliographical references and author index.

Also issued online.