Year | Venue | Keywords |
---|---|---|
1990 | Z User Workshop | simpler semantics |
Field | DocType | ISBN |
Z notation,Programming language,Computer science,Language construct,Schema (psychology),Semantics,Semantics of logic | Conference | 3-540-19672-2 |
Citations | PageRank | References |
8 | 0.65 | 1 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
P. H. B. Gardiner | 1 | 80 | 7.84 |
P. J. Lupton | 2 | 18 | 1.63 |
Jim Woodcock | 3 | 534 | 77.08 |