BibTeX record journals/corr/abs-2107-07664

• > Home > journals/corr/abs-2107-07664

@inproceedings{DBLP:journals/corr/abs-2107-07664,
  author       = {Laila El{-}Beheiry and
                  Giselle Reis and
                  Ammar Karkour},
  editor       = {Elaine Pimentel and
                  Enrico Tassi},
  title        = {SMLtoCoq: Automated Generation of Coq Specifications and Proof Obligations
                  from {SML} Programs with Contracts},
  booktitle    = {Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages:
                  Theory and Practice, {LFMTP} 2021, Pittsburgh, USA, 16th July 2021},
  series       = {{EPTCS}},
  volume       = {337},
  pages        = {71--87},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.337.6},
  doi          = {10.4204/EPTCS.337.6},
  timestamp    = {Mon, 26 Jun 2023 20:50:02 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-07664.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}