Library of American University of Madaba

Normal View MARC View ISBD View

Verification, model checking, and abstract interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, proceedings / Gilles Barthe, Manuel Hermenegildo. - Berlin : Springer, 2010. - x, 395 p. : ill - Lecture notes in computer science ; 5944 .

Includes bibliographical references and index

ISBN: 9783642113185

Subjects--Topical Terms:
Computer programs--Verification --Congresses.
Software Validation.

Dewey Class. No.: 005.14 / V519