Name
Year | Venue | Keywords |
|---|---|---|
1987 | LICS | formal semantics |
Field | DocType | Citations |
Formal semantics (linguistics),Discrete mathematics,Operational semantics,Programming language,Computational semantics,Computer science,Denotational semantics,Action semantics,Formal specification,Syntax (logic),Formal verification | Conference | 21 |
PageRank | References | Authors |
5.18 | 2 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| David Harel | 1 | 9703 | 1953.76 |
| Amir Pnueli | 2 | 12964 | 2377.59 |
| Jeanette P. Schmidt | 3 | 611 | 129.32 |
| Rivi Sherman | 4 | 369 | 76.18 |