Publisher
Springer Nature Switzerland
Reference22 articles.
1. ANSSI: The EAL7 certificate ANSSI-CC-2023/45. https://cyber.gouv.fr/sites/default/files/document_type/Certificat-CC-2023_45fr_0.pdf
2. Ayewah, N., Pugh, W.W., Morgenthaler, J.D., Penix, J., Zhou, Y.: Evaluating static analysis defect warnings on production software. In: Das, M., Grossman, D. (eds.) Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 2007, San Diego, California, USA, 13–14 June 2007, pp. 1–8. ACM (2007). https://doi.org/10.1145/1251535.1251536
3. Lecture Notes in Computer Science;H Barbosa,2022
4. Lecture Notes in Computer Science;M Barnett,2006
5. Barnett, M., Leino, K.R.M.: Weakest-precondition of unstructured programs. SIGSOFT Softw. Eng. Notes 31(1), 82–87 (2005)