BibTeX record conf/lsfa/WolterMH20

• > Home > conf/lsfa/WolterMH20

@inproceedings{DBLP:conf/lsfa/WolterMH20,
  author       = {Uwe Wolter and
                  Alfio Martini and
                  Edward Hermann H{\"{a}}usler},
  editor       = {Amy P. Felty and
                  Jo{\~{a}}o Marcos},
  title        = {Indexed and Fibred Structures for Hoare Logic},
  booktitle    = {Proceedings of the 14th Workshop on Logical and Semantic Frameworks
                  with Applications, {LSFA} 2019, Natal, Brazil, August, 2019},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {348},
  pages        = {125--145},
  publisher    = {Elsevier},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.entcs.2020.02.008},
  doi          = {10.1016/J.ENTCS.2020.02.008},
  timestamp    = {Tue, 16 Aug 2022 23:04:31 +0200},
  biburl       = {https://dblp.org/rec/conf/lsfa/WolterMH20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}