Author:
Faithfull Alexander,Bengtson Jesper,Tassi Enrico,Tankink Carst
Publisher
Springer Berlin Heidelberg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Research on Automation Strategy of Coq;Advances in Artificial Intelligence and Security;2021
2. Formalization Integrated Development Environments;ACM SIGSOFT Software Engineering Notes;2018-12-07
3. piCoq: parallel regression proving for large-scale verification projects;Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis;2018-07-12
4. Recent advances in interactive and automated analysis;International Journal on Software Tools for Technology Transfer;2017-11-09
5. Scaling Up Automated Verification;Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education;2017-03-08