FM 2008

Part of the International Symposium on Formal Methods series organized by Formal Methods Europe.