Name
Year | DOI | Venue |
|---|---|---|
1998 | 10.1145/281508.281560 | ISSAC '04 Proceedings of the 2004 international symposium on Symbolic and algebraic computation |
Keywords | Field | DocType |
formal method,theorem proving,work in progress,program analysis,static analysis | Discrete mathematics,Combinatorics,Abstraction,Axiom,Computer science,Symbolic computation,Theoretical computer science,Formal methods,Program analysis,Hierarchy,Semantics,Formal verification | Conference |
ISBN | Citations | PageRank |
1-58113-002-3 | 12 | 0.92 |
References | Authors | |
4 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Martin Dunstan | 1 | 35 | 2.26 |
| Tom Kelsey | 2 | 339 | 22.24 |
| S. A. Linton | 3 | 332 | 26.66 |
| Ursula Martin | 4 | 12 | 0.92 |