Publisher
Springer International Publishing
Reference19 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Boyatt, R.C., Sinclair, J.E.: Experiences of teaching a lightweight formal method. In: Formal Methods in Computer Science Education 2008 Workshop, Proceedings, pp. 71–80 (2008)
3. Lecture Notes in Computer Science;EM Clarke,1982
4. Lecture Notes in Computer Science;J Divasón,2019
5. Feldman, M.B., Bachus, B.D.: Concurrent programming CAN be introduced into the lower-level undergraduate curriculum. In: Cassel, L.N., Daniels, M., Miller, J.E., Davies, G. (eds.) 2nd Annual Conference on Integrating Technology into Computer Science Education, ITiCSE 1997, Proceedings, pp. 77–79. ACM (1997)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献