source: Deliverables/Dissemination @ 3284

Name Size Rev Age Author Last Change
../
back-end 3281   8 years tranquil back end correctness slides, alas still incomplete
f-e 3284   8 years Ian Stark Moving and renaming
final-review 3284   8 years Ian Stark Moving and renaming
proof-structured-traces 2945   9 years campbell Minor tweak.
README 3.3 KB 2577   9 years tranquil abstract of indexed labels talk
fetopen.png 138.1 KB 2558   9 years amadio r
funcca-slide.pdf 438.0 KB 2586   9 years amadio r
labelling-approach-slide.pdf 480.1 KB 2584   9 years regisgia * Update slides.
Note: See TracBrowser for help on using the repository browser.