Name
Title | ||
|---|---|---|
An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping. |
Year | Venue | DocType |
|---|---|---|
2017 | SETSS | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Gary T. Leavens | 1 | 2593 | 211.29 |
| David Naumann | 2 | 1101 | 84.12 |