source: Deliverables/Dissemination @ 2583

Name Size Rev Age Author Last Change
../
proof-structured-traces 2583   8 years campbell Structured traces talk with most of the content; not quite final.
fetopen.png 138.1 KB 2558   8 years amadio r
funcca-slide.pdf 442.9 KB 2558   8 years amadio r
labelling-approach-slide.pdf 451.9 KB 2579   8 years regisgia * First version of Yann's slides.
README 3.3 KB 2577   8 years tranquil abstract of indexed labels talk
reasoning-on-c-programs-slide.pdf 283.7 KB 2579   8 years regisgia * First version of Yann's slides.
Note: See TracBrowser for help on using the repository browser.