High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology)

Rating:
Summary: Excellent Paper Collection !!!
Review: This is an excellent book about using formal method to develop high-integrity system. Most papers well-known in this research area. Although some papers were published more than 20 years, they are still worth reading. This is the best paper collection I could found!