Software Testing: Concepts and Operations (Quantitative Software Engineering Series)

Verification and Evaluation of Computer and Communication Systems

Discrete Mathematics and Logic

Software Engineering

An introduction to formal program verification

1985

An introduction to program fault tolerance

1990