source: Papers/structured-traces-2012 @ 3418

Name Size Rev Age Author Last Change
traces.svg 36.2 KB 2461   7 years campbell First cut of inductive structured traces diagrams.
structured-traces.bib 0 bytes 2330   7 years mulligan Added directory for new structured traces paper.
structured-traces.tex 8.4 KB 2480   7 years mulligan Some more changes.
Note: See TracBrowser for help on using the repository browser.