@misc{https://doi.org/10.5281/zenodo.3928099,<br/><span class="tab"></span>
  doi = {10.5281/ZENODO.3928099},<br/><span class="tab"></span>
  url = {https://zenodo.org/record/3928099},<br/><span class="tab"></span>
  author = {Welzel,<br/><span class="tab"></span> Christoph and Esparza,<br/><span class="tab"></span> Javier and Raskin,<br/><span class="tab"></span> Mikhail},<br/><span class="tab"></span>
  keywords = {software,<br/><span class="tab"></span> parameterized verification,<br/><span class="tab"></span> first-order theorem proving},<br/><span class="tab"></span>
  title = {heron},<br/><span class="tab"></span>
  publisher = {Zenodo},<br/><span class="tab"></span>
  year = {2020},<br/><span class="tab"></span>
  copyright = {MIT License}
}