English International Conference on Software Engineering and Formal Methods Cited by user Jpbowen on 03 Jun 2013 The International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software engineering.