@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    = {39th {ACM/SIGAPP} Symposium on Applied Computing},
  eventtitleaddon = {{SAC}~2024},
  venue           = {Avila, Spain},
  eventdate       = {2024-04-08/2024-04-12},
  pages        = {1702--1711},
  publisher    = {{ACM}},
  year         = {2024},
   opturl       = {https://doi.org/10.1145/3605098.3636008},
  doi          = {10.1145/3605098.3636008},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/LanzingerMRTHW24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org},
  month = {apr}
}