Name
Year | Venue | Field |
|---|---|---|
2010 | Modelling, Controlling and Reasoning About State | Indirection,Operational semantics,Programming language,Correctness,Hoare logic,Equivalence (measure theory),Soundness,Type safety,Mathematics,Liveness |
DocType | Citations | PageRank |
Conference | 3 | 0.43 |
References | Authors | |
8 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Robert Dockins | 1 | 4 | 1.12 |
| Aquinas Hobor | 2 | 243 | 17.42 |