source: Deliverables/D4.1/ITP-Paper @ 493

Name Size Rev Age Author Last Change
itp-2011.tex 8.7 KB 493   10 years mulligan incorporated some text from the eu report that needs to be pared down
llncs.cls 41.4 KB 492   10 years mulligan Initial commit of outline of prospective itp-2011 paper.
Note: See TracBrowser for help on using the repository browser.