Mühlberg, Jan TobiasJan TobiasMühlbergLüttgen, GeraldGeraldLüttgen0000-0002-0925-48702019-09-192013-01-1820121433-2779https://fis.uni-bamberg.de/handle/uniba/835engSymbolic object code analysisarticlehttp://www.swt-bamberg.de/luettgen/publications/pdf/STTT2012.pdf