You are about to access our book library "Teaching Formal Methods: Colognet/Fme Symposium, Tfm 2004, Ghent, Belgium, November 18-19, 2004. Proceedings full version" .