This book is the final product of the 2nd South East European Workshop on Formal Methods (SEEFM05) with theme: "Practical dimensions: Challenges in the business world" which took place in Ohrid on November 2005. The event contributes directly to the mission of the South East European Research Centre (SEERC), which is to support the development of South East Europe by conducting pure and applied research in and for the region. SEEFM targets to disseminate knowledge related to the area of formal methods in South East Europe countries.
