Verification of Programs with Pointers in SPARK

von Jaloyan, Georges-Axel
Veröffentlicht in ICFEM (22. : 2021 : Singapur) Formal methods and software engineering (2021)