Name
Year | Venue | Field |
|---|---|---|
2010 | Game Semantics and Program Verification | Operational semantics,Programming language,Software engineering,Computer science,Denotational semantics,Mathematical proof,Game semantics,Executive summary |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Paul-andré Melliès | 1 | 392 | 30.70 |
| Andrzej S. Murawski | 2 | 324 | 32.93 |
| Andrea Schalk | 3 | 97 | 8.56 |
| Igor Walukiewicz | 4 | 0 | 1.69 |