source: Papers/jar-cerco-2017/cerco.bib

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @3632   3 years mulligan Small tweaks before work on another paper
(edit) @3623   3 years boender Added D2.1 as a base for the architecture parts
(edit) @3619   3 years boender Added section on Matita
(edit) @3605   3 years mulligan bib file
(add) @3599   3 years mulligan more initialisation work…
Note: See TracRevisionLog for help on using the revision log.