Title :
Teaching formal methods early in the software engineering cirriculum
Author :
Saiedian, H. ; Henderson, Philip
Keywords :
Application software; Computer industry; Computer science; Control engineering education; Control systems; Educational programs; Electrical equipment industry; Mathematics; Software engineering; Stress;
Conference_Titel :
Software Engineering Education & Training, 2000. Proceedings. 13th Conference on
Print_ISBN :
0-7695-0421-3
DOI :
10.1109/CSEE.2000.827022
