Name
Year | DOI | Venue |
|---|---|---|
1985 | 10.1145/1012497.1012523 | ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop |
Keywords | DocType | Volume |
sytek theorem prover,theorem prover | Journal | 10 |
Issue | Citations | PageRank |
4 | 0 | 0.34 |
References | Authors | |
0 | 1 | |