DocumentCode
1686817
Title
Teaching formal methods early in the software engineering cirriculum
Author
Saiedian, H. ; Henderson, Philip
fYear
2000
Firstpage
55
Lastpage
56
Keywords
Application software; Computer industry; Computer science; Control engineering education; Control systems; Educational programs; Electrical equipment industry; Mathematics; Software engineering; Stress;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Education & Training, 2000. Proceedings. 13th Conference on
ISSN
1093-0175
Print_ISBN
0-7695-0421-3
Type
conf
DOI
10.1109/CSEE.2000.827022
Filename
827022
Link To Document