Author:
Davies Jim,Simpson Andrew,Martin Andrew
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings (1996)
2. Almstrum, V.L., Dean, C.N., Goelman, D., Hiburn, T.B., Smith, J.: Support for teaching formal methods. ACM SIGCSE Bulletin 33(2), 71–88 (2001)
3. Lecture Notes in Computer Science;T. Ball,2004
4. Bennett, S., McRobb, S., Farmer, R.: Object-Oriented Systems Analysis and Design. McGraw-Hill, New York (1999)
5. Blanchard, B.S.: System Engineering Management. Wiley, Chichester (1998)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献