Title | ||
---|---|---|
VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings |
Year | Venue | Field |
---|---|---|
1988 | VDM Europe | Specification language,Programming language,Standard ML,Software engineering,Computer science,Meta-IV,Correctness,Compiler,Formal methods,Vienna Development Method,Software requirements specification |
DocType | Volume | ISBN |
Conference | 328 | isbn |
Citations | PageRank | References |
30 | 13.26 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Robin E. Bloomfield | 1 | 227 | 44.91 |
Lynn S. Marshall | 2 | 39 | 15.82 |
roger b jones | 3 | 30 | 13.26 |
vdmeurope symposium | 4 | 30 | 13.26 |