Publisher
Springer International Publishing
Reference25 articles.
1. Owre, S., et al.: PVS system guide, PVS prover guide. PVS language reference. Technical report, SRI International, USA (2001)
2. Bertot, Y., Casteran, P.: Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Construction. Springer (2003). https://doi.org/10.1007/978-3-662-07964-5
3. Lecture Notes in Computer Science;K Slind,2008
4. Lecture Notes in Computer Science;MS Nawaz,2019
5. Nawaz, M.S., et al.: Proof learning in PVS with utility pattern mining. IEEE Access 8, 119806–119818 (2020)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献