Vol-371⫷ Vol-372 ⫸Vol-373
urn:nbn:de:0074-372-0


Vol-372/paper-5⫷Vol-372/paper-6⫸Vol-372/paper-7
David A. Cock

Bitfields and Tagged Unions in C: Verification through Automatic Generation