%0 Conference Paper %1 conf/sac/LanzingerMRTHW24 %A Lanzinger, Florian %A Martin, Christian %A Reiche, Frederik %A Teuber, Samuel %A Heinrich, Robert %A Weigl, Alexander %B SAC %D 2024 %E Hong, Jiman %E Park, Juw Won %I ACM %K dblp %P 1702-1711 %T Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. %U http://dblp.uni-trier.de/db/conf/sac/sac2024.html#LanzingerMRTHW24

@inproceedings{conf/sac/LanzingerMRTHW24, added-at = {2024-05-31T00:00:00.000+0200}, author = {Lanzinger, Florian and Martin, Christian and Reiche, Frederik and Teuber, Samuel and Heinrich, Robert and Weigl, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/26763c8d49f3c2ce5fd18915c591b9370/dblp}, booktitle = {SAC}, crossref = {conf/sac/2024}, editor = {Hong, Jiman and Park, Juw Won}, ee = {https://doi.org/10.1145/3605098.3636008}, interhash = {058e826dff4eb8b281e9712b5945b7a8}, intrahash = {6763c8d49f3c2ce5fd18915c591b9370}, keywords = {dblp}, pages = {1702-1711}, publisher = {ACM}, timestamp = {2024-06-03T07:26:13.000+0200}, title = {Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2024.html#LanzingerMRTHW24}, year = 2024 }