@inproceedings{Cock_08,
    month            = aug,
    keywords         = {bitfields, isabelle/hol, refinement},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1071.pdf},
    booktitle        = {Proceedings of the 5th International Verification Workshop},
    author           = {Cock, David},
    year             = {2008},
    pages            = {44--55},
    title            = {Bitfields and Tagged Unions in {C} --- Verification through Automatic Generation},
    address          = {Sydney}
  }