Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The What, How, and When of Formal Methods;Advances in Computer and Electrical Engineering;2019
2. The What, How, and When of Formal Methods;Encyclopedia of Information Science and Technology, Fourth Edition;2018
3. Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning;Genetic and Evolutionary Computation;2018
4. A Layered Approach to Specification Authoring, Sharing, and Usage;Advances in Intelligent Systems and Computing;2017-08-17
5. Spekl: A Layered System for Specification Authoring, Sharing, and Usage;2016 IEEE 17th International Conference on Information Reuse and Integration (IRI);2016-07