Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-38088-4_20 | NASA Formal Methods |
Field | DocType | Citations |
Pointer (computer programming),Separation logic,Proof search,Lattice (order),Computer science,Operator (computer programming),Predicate (grammar),Proof obligation,Calculus | Conference | 4 |
PageRank | References | Authors |
0.41 | 18 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Quang Loc Le | 1 | 65 | 9.48 |
Asankhaya Sharma | 2 | 180 | 11.90 |
Florin Craciun | 3 | 40 | 8.19 |
Wei-Ngan Chin | 4 | 868 | 63.37 |