src/HOL/Word/document/root.bib
author nipkow
Fri Mar 06 17:38:47 2009 +0100 (2009-03-06)
changeset 30313 b2441b0c8d38
parent 25293 0dffa8398915
permissions -rw-r--r--
added lemmas
     1 @InProceedings{dawson-avocs07,
     2   author =       {Jeremy Dawson},
     3   title =        {Isabelle Theories for Machine Words},
     4   booktitle =    {Seventh International Workshop on Automated Verification of Critical Systems (AVOCS'07)},
     5   pages =        {15},
     6   year =         {2007},
     7   editor =       {Michael Goldsmith and Bill Roscoe},
     8   series =       {Electronic Notes in Theoretical Computer Science},
     9   address =      {Oxford},
    10   month =        Sep,
    11   publisher =    {Elsevier},
    12   note =         {to appear},
    13 }
    14