Teaching formal methods early in the software engineering cirriculum | IEEE Conference Publication | IEEE Xplore