Formal Methods and Software Engineering
George, Chris / Miao, Huaikou![Formal Methods and Software Engineering](https://support.digitalhusky.com/media/annotations/sorted/874/8749413/CHSBZCOP038749413.jpg)
This volume contains the proceedings of the Fourth International Conference on Formal Engineering Methods: ICFEM 2002. The conference was held in Sha- hai, China, from 21 to 25 October 2002. Formal methods for software development have been extensively researched and their use in industry is increasing. Recent applications to the development of safety-critical, security-critical, and mission-critical systems have signi?cantly increased trustwo...