Paper Info
Title
Refinement and Term Synthesis in Loop Invariant Generation.
Year
Venue
DocType
2010
WING@ETAPS/IJCAR
Conference
Citations 
PageRank 
References 
3
0.49
0
Authors
4
Name
Order
Citations
PageRank
Ewen Maclean172.26
Andrew Ireland212215.39
Lucas Dixon3182390.35
Robert Atkey428919.16