13th International Conference on Formal Engineering Methods October 25, 2011

ICFEM has provided a forum for those interested in the application of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the ar

Official Website: http://www.scm.tees.ac.uk/icfem2011/