@inproceedings{cadek_using_2018, title = {Using {Loop} {Bound} {Analysis} {For} {Invariant} {Generation}}, publisher = {IEEE}, author = {Čadek, Pavel and Danninger, Clemens and Sinn, Moritz and Zuleger, Florian}, month = oct, year = {2018}, keywords = {FH SP Cyber Security, Institut für IT Sicherheitsforschung, SP IT Sec System \& Application Security, peer-reviewed}, }