Name
Year | Venue | Keywords |
|---|---|---|
1998 | WIFT | Transferring Formal Methods Technology |
DocType | ISBN | Citations |
Conference | 0-7695-0081-1 | 1 |
PageRank | References | Authors |
0.35 | 5 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Patrice Godefroid | 1 | 3622 | 275.78 |
| John Kelly | 2 | 90 | 10.33 |
| Steven P. Miller | 3 | 561 | 56.48 |
| Frank Weil | 4 | 43 | 5.74 |