Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
1992 | 10.1007/3-540-55602-8_217 | CADE |
Keywords | Field | DocType |
prototype verification system | Prototype Verification System,Programming language,Computer science,Algorithm,Automated proof checking,Proof obligation | Conference |
Volume | ISBN | Citations |
607 | 3-540-55602-8 | 689 |
PageRank | References | Authors |
50.01 | 5 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sam Owre | 1 | 1323 | 104.39 |
| John Rushby | 2 | 2459 | 235.69 |
| Natarajan Shankar | 3 | 3050 | 309.55 |