Name
Title | ||
|---|---|---|
Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings |
Year | Venue | Keywords |
|---|---|---|
2000 | IFM | formal method |
DocType | Volume | ISBN |
Conference | 1945 | isbn |
Citations | PageRank | References |
20 | 3.08 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Wolfgang Grieskamp | 1 | 1027 | 64.44 |
| Thomas Santen | 2 | 149 | 16.34 |
| Bill Stoddart | 3 | 135 | 15.69 |