Title
Verification of Programs with Pointers in SPARK.
Year
DOI
Venue
2020
10.1007/978-3-030-63406-3_4
ICFEM
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
5
Name
Order
Citations
PageRank
Georges-Axel Jaloyan111.41
Claire Dross2214.52
Maroua Maalej300.34
Yannick Moy4699.25
Andrei Paskevich522916.43