Theoretical and practical aspects of bit-vector reasoning / eingereicht von Dipl.-Inf. Andreas Fröhlich. Linz, März 2016
Inhalt