source:
Deliverables/Dissemination
@
2584
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| proof-structured-traces | 2583 | 8 years | Structured traces talk with most of the content; not quite final. | ||
| fetopen.png | 138.1 KB | 2558 | 8 years | r | |
| funcca-slide.pdf | 442.9 KB | 2558 | 8 years | r | |
| labelling-approach-slide.pdf | 480.1 KB | 2584 | 8 years | * Update slides. | |
| README | 3.3 KB | 2577 | 8 years | abstract of indexed labels talk | |
Note: See TracBrowser
for help on using the repository browser.
