BibTeX record conf/facs2/ZhangA0P21

• > Home > conf/facs2/ZhangA0P21

@inproceedings{DBLP:conf/facs2/ZhangA0P21,
  author       = {Zichao Zhang and
                  Arthur Azevedo de Amorim and
                  Limin Jia and
                  Corina S. Pasareanu},
  editor       = {Gwen Sala{\"{u}}n and
                  Anton Wijs},
  title        = {Learning Assumptions for Verifying Cryptographic Protocols Compositionally},
  booktitle    = {Formal Aspects of Component Software - 17th International Conference,
                  {FACS} 2021, Virtual Event, October 28-29, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13077},
  pages        = {3--23},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-90636-8\_1},
  doi          = {10.1007/978-3-030-90636-8\_1},
  timestamp    = {Mon, 26 Jun 2023 20:42:49 +0200},
  biburl       = {https://dblp.org/rec/conf/facs2/ZhangA0P21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}