Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004.