![](/img/cover-not-exists.png)
[IEEE Comput. Soc Thirteenth Conference on Software Engineering Education and Training - Austin, TX, USA (6-8 March 2000)] Thirteenth Conference on Software Engineering Education and Training - Teaching formal methods early in the software engineering cirriculum
Soble, A.E.K., Saiedian, H., Henderson, P.Year:
2000
Language:
english
DOI:
10.1109/csee.2000.827022
File:
PDF, 13 KB
english, 2000