Empirical results of a software engineering curriculum incorporating formal methods
- 1 March 2000
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 32 (1) , 157-161
- https://doi.org/10.1145/330908.331846
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Formal methods application: an empirical tale of software developmentIEEE Transactions on Software Engineering, 2002
- An Invitation to Formal MethodsComputer, 1996
- Experience integrating a formal method into a software engineering courseACM SIGCSE Bulletin, 1996