![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2013-jsbc-camarao-terminating.pdf | 2016-07-20 21:35 | 531K | |
| 2013-jsbc-rodrigo-ambiguity.pdf | 2016-07-20 21:30 | 509K | |
| 2013-rodrigo-mechanized.pdf | 2016-07-20 21:47 | 1.7M | |
| 2013-scp-andrei-tainted-var.pdf | 2013-09-28 13:42 | 762K | |
| 2013-sen-terra-qualitas.pdf | 2013-10-10 02:09 | 1.2M | |
| 2013-spe-terra-reparing.pdf | 2013-10-10 01:31 | 2.9M | |