David Cyrluk, Mandayam K. Srivas. Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification. In 1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings. pages 538, IEEE Computer Society, 1995. [doi]
@inproceedings{CyrlukS95,
title = {Theorem proving: not an esoteric diversion, but the unifying framework for industrial verification},
author = {David Cyrluk and Mandayam K. Srivas},
year = {1995},
url = {http://computer.org/proceedings/iccd/7165/71650538abs.htm},
researchr = {https://researchr.org/publication/CyrlukS95},
cites = {0},
citedby = {0},
pages = {538},
booktitle = {1995 International Conference on Computer Design (ICCD 95), VLSI in Computers and Processors, October 2-4, 1995, Austin, TX, USA, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-8186-7165-3},
}