Publisher
Springer International Publishing
Reference26 articles.
1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings (1996)
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT press, Cambridge (2008)
4. Barron, B.J., et al.: Doing with understanding: lessons from research on problem- and project-based learning. J. Learn. Sci. 7(3–4), 271–311 (1998)
5. Biggs, J.: Enhancing teaching through constructive alignment. High. Educ. 32(3), 347–364 (1996)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献