David Cock. Bitfields and Tagged Unions in C: Verification through Automatic Generation. In Bernhard Beckert, Gerwin Klein, editors, Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008. Volume 372 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]
@inproceedings{Cock08,
title = {Bitfields and Tagged Unions in C: Verification through Automatic Generation},
author = {David Cock},
year = {2008},
url = {http://ceur-ws.org/Vol-372/paper06.pdf},
tags = {tagging, C++},
researchr = {https://researchr.org/publication/Cock08},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008},
editor = {Bernhard Beckert and Gerwin Klein},
volume = {372},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}