%0 Journal Article %1 journals/dagstuhl-reports/BohmeCPSZE23 %A Böhme, Marcel %A Christakis, Maria %A Padhye, Rohan %A Serebryany, Kostya %A Zeller, Andreas %A Eniser, Hasan Ferit %D 2023 %J Dagstuhl Reports %K dblp %N 3 %P 92-105 %T Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports13.html#BohmeCPSZE23 %V 13

@article{journals/dagstuhl-reports/BohmeCPSZE23, added-at = {2023-10-20T00:00:00.000+0200}, author = {Böhme, Marcel and Christakis, Maria and Padhye, Rohan and Serebryany, Kostya and Zeller, Andreas and Eniser, Hasan Ferit}, biburl = {https://www.bibsonomy.org/bibtex/281be8331575b06ae240e762879dcedb5/dblp}, ee = {https://doi.org/10.4230/DagRep.13.3.92}, interhash = {06a6bac9c4cc39901a2e8c9e3aeb99fa}, intrahash = {81be8331575b06ae240e762879dcedb5}, journal = {Dagstuhl Reports}, keywords = {dblp}, month = {March}, number = 3, pages = {92-105}, timestamp = {2024-04-08T14:52:45.000+0200}, title = {Software Bug Detection: Challenges and Synergies (Dagstuhl Seminar 23131).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports13.html#BohmeCPSZE23}, volume = 13, year = 2023 }