source: Deliverables/Dissemination @ 2583

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