Author:
Jaloyan Georges-Axel,Dross Claire,Maalej Maroua,Moy Yannick,Paskevich Andrei
Publisher
Springer International Publishing
Reference24 articles.
1. McCormick, J., Chapin, P.: Building High Integrity Applications with SPARK. Cambridge University Press, Cambridge (2015)
2. Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C: a software analysis perspective. Formal Aspects Comput. 27(3), 573–609 (2015). https://doi.org/10.1007/s00165-014-0326-7
3. Lecture Notes in Computer Science;M Maalej,2018
4. Lecture Notes in Computer Science;C Dross,2020
5. Dross, C.: Using pointers in spark (2019). https://blog.adacore.com/using-pointers-in-spark
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献