Year | Venue | Field |
---|---|---|
2013 | ECEASST | Operational semantics,Programming language,Computer science,Proof calculus,Correctness,Hoare logic,Theoretical computer science,Mathematical proof,Graph rewriting,Clique-width,Nondeterministic programming |
DocType | Volume | Citations |
Journal | 61 | 7 |
PageRank | References | Authors |
0.44 | 13 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Christopher M. Poskitt | 1 | 83 | 9.65 |
Detlef Plump | 2 | 604 | 62.14 |