Paper Info
Title
Trends in Relational Program Verification.
Year
Venue
DocType
2018
Principled Software Development
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Bernhard Beckert186286.50
Mattias Ulbrich218317.83