Title | ||
---|---|---|
Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1016/j.cl.2016.06.002 | Computer Languages, Systems & Structures |
Field | DocType | Volume |
Model checking,Programming language,Computer science,Abstract interpretation,Theoretical computer science | Journal | 47 |
ISSN | Citations | PageRank |
1477-8424 | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Deepak D'souza | 1 | 239 | 17.90 |
Akash Lal | 2 | 537 | 32.12 |