Name
Title | ||
|---|---|---|
Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions |
Year | Venue | Keywords |
|---|---|---|
2008 | VSTTE | first ifip tc,verified software,selected papers |
DocType | Volume | ISBN |
Conference | 4171 | isbn |
Citations | PageRank | References |
51 | 4.55 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Bertrand Meyer | 1 | 3188 | 458.76 |
| Jim Woodcock | 2 | 534 | 77.08 |