@inproceedings{c2726c3cd6f94139ac5a51f51705c844,
title = "Case studies in compiler correctness using HOL",
author = "Martin, {David F.} and Toal, {Raymond J.}",
note = "Publisher Copyright: {\textcopyright} 1991 Institute of Electrical and Electronics Engineers Inc. All rights reserved.; 1991 International Tutorial and Workshop on the HOL Theorem Proving System and Its Applications ; Conference date: 28-08-1991 Through 30-08-1991",
year = "1991",
doi = "10.1109/HOL.1991.596291",
language = "English",
series = "Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "242--252",
editor = "Myla Archer and Joyce, {Jeffrey J.} and Levitt, {Karl N.} and Windley, {Phillip J.}",
booktitle = "Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and Its Applications",
}