دانلود کتاب Formal Methods and Software Engineering: 11th International Conference on Engineering ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings