ISBN 9783540733690,Model Checking Software

Model Checking Software

Rs5207

Publisher

Ingram Publisher Services

Publication Year 2007
ISBN-13

ISBN 9783540733690

ISBN-10 3540733698
Binding

Paperback

Number of Pages 300 Pages
Subject

Software engineering

Constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007. This book features papers that are organized in topical sections on directed model checking.
Scroll