source: Deliverables/Dissemination

Name Size Rev Age Author Last Change
../
proof-structured-traces 2945   7 years campbell Minor tweak.
front-end 3285   6 years Ian Stark Renaming and moving
final-review 3302   6 years mckinna removed local verison for JHM's machine wp6.tex definitive
back-end 3297   6 years tranquil final version
README 3.3 KB 2577   7 years tranquil abstract of indexed labels talk
labelling-approach-slide.pdf 480.1 KB 2584   7 years regisgia * Update slides.
funcca-slide.pdf 438.0 KB 2586   7 years amadio r
fetopen.png 138.1 KB 2558   7 years amadio r
Note: See TracBrowser for help on using the repository browser.