Vol-3724⫷ Vol-3725 ⫸Vol-3726
urn:nbn:de:0074-3725-0


Vol-3725/short6⫷Vol-3725/short9⫸Vol-3725/short13
Max BarthMatthias Heizmann

A Bit-vector to Integer Translation with bv2nat and nat2bv