| No. | Title | Author | Year |
|---|---|---|---|
| 1 | On Verifying Timed Hyperproperties | Ho, Hsi-Ming et al. | 2019 |
| 2 | Object Inheritance Without Classes | Jones, Timothy et al. | 2016 |
| 3 | Object Inheritance Without Classes (Artifact) | Jones, Timothy et al. | 2016 |
| 4 | Brand Objects for Nominal Typing | Jones, Timothy et al. | 2015 |
| 5 | Brand Objects for Nominal Typing (Artifact) | Jones, Timothy et al. | 2015 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 5 |