Proceedings of the Third International Conference on Integrated Formal Methods