Book

Formal methods

by Paul Boca, J. P. Bowen, J. I. Siddiqi