author | haftmann |
Sat, 05 Jul 2014 11:01:53 +0200 | |
changeset 57514 | bdc2c6b40bf2 |
parent 25293 | 0dffa8398915 |
permissions | -rw-r--r-- |
25293 | 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 |