FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / - Misra, Jayadev.; Nipkow, Tobias,; Sekerinski, E. (Springer,, 2006)