Name
Year | DOI | Venue |
|---|---|---|
2013 | 10.1007/978-3-319-03542-0_8 | APLAS |
Field | DocType | Citations |
Data structure,Logical consequence,Separation logic,Programming language,Inference,Computer science,Correctness,Algorithm,Theoretical computer science,Heap (data structure),Abductive reasoning,Modular design | Conference | 6 |
PageRank | References | Authors |
0.43 | 23 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Minh-Thai Trinh | 1 | 72 | 3.49 |
| Quang Loc Le | 2 | 65 | 9.48 |
| Cristina David | 3 | 245 | 14.14 |
| Wei-Ngan Chin | 4 | 868 | 63.37 |