Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Education
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods;Computing Handbook, Third Edition;2014-05-08
2. The Scholarship of Teaching and Learning in Canadian Post-Secondary Mathematics: 2000-2010;The Canadian Journal for the Scholarship of Teaching and Learning;2013-07-06
3. Introduction to Formal Methods;NASA Monographs in Systems and Software Engineering