Symbolic model checking (1993)

by K McMillan