Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| The PROSPER toolkit | 4 | 0.65 | 2003 |
| The PROSPER Toolkit | 43 | 2.38 | 2000 |
| System Description: Embedding Verification into Microsoft Excel | 6 | 0.73 | 2000 |
| A Proof Tool for Reasoning About Functional Programs | 5 | 0.52 | 1996 |
| Supporting reasoning about functional programs: an operational approach | 1 | 0.38 | 1995 |
| A Theory of Finite Maps | 13 | 1.52 | 1995 |