Library of American University of Madaba

Normal View MARC View ISBD View

Runtime verification : First International Conference, RV 2010, St. Julians, November 1-4, 2010, proceedings / Howard Barringer ... [et al.]. - Berlin : Springer, 2010. - xiii, 492 p. : ill. - Lecture notes in computer science ; 6418 .

includes bibliographical references and index

ISBN: 9783642166112

Subjects--Topical Terms:
Computer programs--Testing--Congresses.
Computer programs--Verification --Congresses.
Formal methods (Computer science)--Congresses.

Dewey Class. No.: 005.14 / R943