Anthony C. J. Fox. An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL. In José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan J. M. M. Rutten, editors, Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings. Volume 3629 of Lecture Notes in Computer Science, pages 157-174, Springer, 2005. [doi]
@inproceedings{Fox05:1,
title = {An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL},
author = {Anthony C. J. Fox},
year = {2005},
doi = {10.1007/11548133_11},
url = {http://dx.doi.org/10.1007/11548133_11},
tags = {C++, algebra},
researchr = {https://researchr.org/publication/Fox05%3A1},
cites = {0},
citedby = {0},
pages = {157-174},
booktitle = {Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings},
editor = {José Luiz Fiadeiro and Neil Harman and Markus Roggenbach and Jan J. M. M. Rutten},
volume = {3629},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-28620-9},
}