Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings
(PDF 英文版)
by Klaus Havelund, Rupak Majumdar, Jens Palsberg
Hardcover: 343 pages
Publisher: Springer (August 1, 2008)
ISBN-10: 3540851135
ISBN-13: 978-3540851134
The main focus of the workshop series is software systems, including models and programs. The papers cover theoretical and algorithmic foundations as well as tools for software model checking and foster interactions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing.
详细介绍在此：http://www.springer.com/book/978-3-540-85113-4
英文版软件工程电子书系列，全部免费：http://www.51leifeng.net/viewthread.php?tid=13785
