source: Papers/fopara2013/fopara13.bib

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @3444   6 years mulligan More language changes. At end of file.
(edit) @3443   6 years mulligan More changes, including more missing references (including to CerCo?'s …
(edit) @3442   6 years mulligan Changes up to Section 3. Added missing reference to AbsInt?'s aiT tools.
(edit) @3439   6 years campbell Fiddle references back into one page.
(edit) @3432   6 years campbell Consistently use ll spelling of labelled/labelling.
(edit) @3431   6 years campbell Note the specification language in Sec 3.
(add) @3339   6 years tranquil passed biblio to bibtex, and some aesthetical changes
Note: See TracRevisionLog for help on using the revision log.