@inproceedings{LanzingerSAC24,
  author       = {Florian Lanzinger and
                  Christian Martin and
                  Frederik Reiche and
                  Samuel Teuber and
                  Robert Heinrich and
                  Alexander Weigl},
  editor       = {Jiman Hong and
                  Juw Won Park},
  title        = {Quantifying Software Correctness by Combining Architecture Modeling
                  and Formal Program Analysis},
  booktitle    = {Proceedings of the 39th {ACM/SIGAPP} Symposium on Applied Computing,
                  {SAC} 2024, Avila, Spain, April 8-12, 2024},
  pages        = {1702--1711},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3605098.3636008},
  doi          = {10.1145/3605098.3636008},
  timestamp    = {Wed, 22 May 2024 11:32:24 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/LanzingerMRTHW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}