Subject
Computer Science Applications,Information Systems,Software
Reference14 articles.
1. Soundness and completeness of an axiom system for program verification;Cook;SIAM Journal on Computing,1978
2. Making formal methods education effective for professional software engineers;Garlan;Information and Software Technology,1995
3. Teaching calculation and discrimination: a more effective curriculum;Gries;Communication ACM,1991
4. B. Jonsson, A fully abstract trace model for dataflow networks, in: 16th ACM Principles of Programming Languages, Austin, TX, 1989, pp. 155–165.
5. M. Lutz, Formal methods and the engineering paradigm, in: Conference on Software Engineering Education, Springer, Berlin, October 1992, pp. 121–130.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献