Model-Driven Software Verification. (2004)

by G J Holzmann, R Joshi
Venue:SPIN 2004. LNCS,