Carl-Johan H. Seger. Combining functional programming and hardware verification (abstract of invited talk). In ICFP. pages 244, 2000. [doi]
@inproceedings{Seger00:0, title = {Combining functional programming and hardware verification (abstract of invited talk)}, author = {Carl-Johan H. Seger}, year = {2000}, doi = {10.1145/351240.351263}, url = {http://doi.acm.org/10.1145/351240.351263}, tags = {program verification, functional programming, programming}, researchr = {https://researchr.org/publication/Seger00%3A0}, cites = {0}, citedby = {0}, pages = {244}, booktitle = {ICFP}, }