Title
Separating Map Variables in a Logic-Based Intermediate Verification Language.
Year
DOI
Venue
2021
10.1007/978-3-030-91014-3_12
NETYS
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
5
Name
Order
Citations
PageRank
Daniel Dietsch18013.53
Matthias Heizmann219318.14
Jochen Hoenicke341.75
Alexander Nutz4698.58
Andreas Podelski502.37