source:
Deliverables/Dissemination
@
3155
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| proof-structured-traces | 2945 | 8 years | Minor tweak. | ||
| fetopen.png | 138.1 KB | 2558 | 8 years | r | |
| funcca-slide.pdf | 438.0 KB | 2586 | 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.
