Tests and proofs
Subtitle: 4th international conference, TAP 2010, Malaga, Spain, July 1-2, 2010 ; proceedings
By: Gordon Fraser, Angelo Gargantini (eds.).
Contributors: Fraser, Gordon; Gargantini, Angelo, 1969-
Series: Lecture notes in computer science -- 6143; LNCS sublibrary. SL 2, Programming and software engineering; Lecture notes in computer science -- 6143.; LNCS sublibrary
Publisher: Springer
Published: 2010
Place of publication: Berlin
Language: eng
Number of pages: 182
ISBN-13: 9783642139765
Subjects: Beweis; Model Checking; Testing; Programmtest; Quality control; Congresses; Formale Methode; Reliability; Softwareentwicklung; Softwaresystem; Computer software
Notes: International conference proceedings.

Also issued online.

Includes bibliographical references and index.