News:
17. December 2019
Jahresbericht 2019 online
Ab sofort finden Sie online den neuen Jahresbericht. Darin werden Sie unter anderem über die Aktivitäten des Heinz ...
Publikationen
Nguyen, Lisa;Krüger, Stefan;Hill, Patrick;Ali, Karim;Bodden, Eric:
Copy bibTeX to clipboard
Debugging Static Analysis.
IEEE Transactions on Software Engineering : pp. 1-1, 2018Weblink
https://www.doi.org/10.1109/TSE.2018.2868349Bibtex
@article{key=tse18debugging,
author = {Nguyen, Lisa and Kr{\"u}ger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric},
title = {Debugging Static Analysis},
journal = {IEEE Transactions on Software Engineering},
pages = {1-1},
year = {2018},
}
author = {Nguyen, Lisa and Kr{\"u}ger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric},
title = {Debugging Static Analysis},
journal = {IEEE Transactions on Software Engineering},
pages = {1-1},
year = {2018},
}
Copy bibTeX to clipboard