Formal Methods and Software EngineeringInternational Conference on Formal Engineering Methods (10th 2008 Kitakyushu-City, Japan)₹3,936