Paper Info
Title
Bridging Arrays and ADTs in Recursive Proofs.
Year
Venue
DocType
2021
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Grigory Fedyukovich102.37
Gidon Ernst233.11