Quantifying Software Reliability via Model-Counting

Reviewed Paper In Proceedings

Author(s):Samuel Teuber and Alexander Weigl
In:QEST 2021
Year:2021

BibTeX

@InProceedings{qest2021,
  author =       {Samuel Teuber and Alexander Weigl},
  title =        {Quantifying Software Reliability via Model-Counting},
  booktitle = {QEST 2021},
  year =      {2021},
  month =     aug
}