source: Papers/fopara2013/fopara13.bib

Revision Log Mode:


Legend:

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