Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-45364-9_14 | ESOCC Workshops |
Field | DocType | Citations |
Constraint satisfaction,Programming language,Abstraction,Predicate abstraction,Computer science,Theoretical computer science,True quantified Boolean formula,Reo Coordination Language,restrict | Conference | 5 |
PageRank | References | Authors |
0.43 | 17 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Proença | 1 | 158 | 11.75 |
Dave Clarke | 2 | 416 | 26.19 |