Title | ||
---|---|---|
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II |
Year | Venue | DocType |
---|---|---|
1999 | World Congress on Formal Methods | Conference |
Volume | ISBN | Citations |
1708 | isbn | 47 |
PageRank | References | Authors |
13.97 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jeannette M. Wing | 1 | 6429 | 874.60 |
Jim Woodcock | 2 | 534 | 77.08 |
Jim Davies | 3 | 673 | 80.95 |