Name
Year | DOI | Venue |
|---|---|---|
1990 | 10.1145/99569.99825 | Formal Methods in Software Development |
DocType | Citations | PageRank |
Conference | 1 | 0.40 |
References | Authors | |
5 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| William L. Scherlis | 1 | 340 | 63.64 |
| Peter Lee 0001 | 2 | 975 | 147.71 |
| robert l nord | 3 | 1652 | 134.43 |