%0 Conference Paper %1 conf/calco/Fox05 %A Fox, Anthony C. J. %B CALCO %D 2005 %E Fiadeiro, José Luiz %E Harman, Neil %E Roggenbach, Markus %E Rutten, Jan J. M. M. %I Springer %K dblp %P 157-174 %T An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL. %U http://dblp.uni-trier.de/db/conf/calco/calco2005.html#Fox05 %V 3629 %@ 3-540-28620-9

@inproceedings{conf/calco/Fox05, added-at = {2017-05-24T00:00:00.000+0200}, author = {Fox, Anthony C. J.}, biburl = {https://www.bibsonomy.org/bibtex/26abeb3c19ca44eba7ab2c18c15198357/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2005}, editor = {Fiadeiro, José Luiz and Harman, Neil and Roggenbach, Markus and Rutten, Jan J. M. M.}, ee = {https://doi.org/10.1007/11548133_11}, interhash = {fc61079c07666604b5d34283f4049065}, intrahash = {6abeb3c19ca44eba7ab2c18c15198357}, isbn = {3-540-28620-9}, keywords = {dblp}, pages = {157-174}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T00:32:35.000+0200}, title = {An Algebraic Framework for Verifying the Correctness of Hardware with Input and Output: A Formalization in HOL.}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2005.html#Fox05}, volume = 3629, year = 2005 }