Model Checking, Abstraction, and Compositional Verification (1993)

by David E Long