Title | ||
---|---|---|
Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16). |
Year | Venue | Field |
---|---|---|
2016 | NII Shonan Meet. Rep. | Programming language,Computer science,Semantics |
DocType | Volume | Citations |
Journal | 2016 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yamine Aït Ameur | 1 | 287 | 52.61 |
Shin Nakajima | 2 | 11 | 4.97 |
Dominique Méry | 3 | 571 | 64.58 |