| No. |
Title |
Author |
Year |
| 1 |
LIPIcs, Volume 32, SNAPL'15, Complete Volume |
Ball, Thomas et al. |
2015 |
| 2 |
Title, Table of Contents, Preface, List of Authors |
Ball, Thomas et al. |
2015 |
| 3 |
09411 Abstracts Collection -- Interaction versus Automation: The two Faces of Deduction |
Ball, Thomas et al. |
2010 |
| 4 |
09411 Executive Summary -- Interaction versus Automation: The two Faces of Deductions |
Ball, Thomas et al. |
2010 |
| 5 |
05261 Abstracts Collection -- Multi-Version Program Analysis |
Ball, Thomas et al. |
2006 |
| 6 |
05261 Summary -- Multi-Version Program Analysis |
Ball, Thomas et al. |
2006 |
