Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | DOI | Venue |
|---|---|---|
1990 | 10.1007/3-540-54834-3_48 | VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I |
Keywords | DocType | ISBN |
computer aided design | Conference | 3-540-54834-3 |
Citations | PageRank | References |
12 | 1.80 | 2 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| David Jordan | 1 | 12 | 1.80 |
| John A. Mcdermid | 2 | 832 | 145.28 |
| Ian Toyn | 3 | 170 | 22.66 |