Jeffrey Joyce, Erwin Liu, John M. Rushby, Natarajan Shankar, Roberto Suaya, Friedrich W. von Henke. From formal verification to silicon compilation. In Compcon Spring '91, San Francisco, California, USA, February 25 - March 1, 1991. Digest of Papers. pages 450-455, IEEE, 1991. [doi]
@inproceedings{JoyceLRSSH91,
title = {From formal verification to silicon compilation},
author = {Jeffrey Joyce and Erwin Liu and John M. Rushby and Natarajan Shankar and Roberto Suaya and Friedrich W. von Henke},
year = {1991},
doi = {10.1109/CMPCON.1991.128848},
url = {https://doi.org/10.1109/CMPCON.1991.128848},
researchr = {https://researchr.org/publication/JoyceLRSSH91},
cites = {0},
citedby = {0},
pages = {450-455},
booktitle = {Compcon Spring '91, San Francisco, California, USA, February 25 - March 1, 1991. Digest of Papers},
publisher = {IEEE},
isbn = {0-8186-2134-6},
}