Author:
Zhang Zhi,Robby ,Hatcliff John,Moy Yannick,Courtieu Pierre
Publisher
Springer International Publishing
Reference22 articles.
1. Barnes, J.: SPARK: The Proven Approach to High Integrity Software. Altran Praxis (2012)
2. Barnes, J.: Ada 2012 Rationale - The Language, The Standard Libraries, Lecture Notes in Computer Science, vol. 8338. Springer, Heidelberg (2013)
3. Lecture Notes in Computer Science;J Belt,2011
4. Lecture Notes in Computer Science;R Chapman,2011
5. Chlipala, A.: Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant. MIT Press, Cambridge (2013)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献