Name
Year | DOI | Venue |
|---|---|---|
1985 | 10.1145/1012497.1012524 | ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop |
Keywords | DocType | Volume |
programmable heuristics,theorem provers,theorem prover | Journal | 10 |
Issue | Citations | PageRank |
4 | 0 | 0.34 |
References | Authors | |
0 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| William Wilson | 1 | 0 | 0.34 |
| Sam Owre | 2 | 1323 | 104.39 |