2008 Sixth IEEE International Conference on Software Engineering and Formal Methods | About Journal | IEEE Xplore