BibTeX record journals/spe/ChongCEKKMSTTT21

download as .bib file

@article{DBLP:journals/spe/ChongCEKKMSTTT21,
  author       = {Nathan Chong and
                  Byron Cook and
                  Jonathan Eidelman and
                  Konstantinos Kallas and
                  Kareem Khazem and
                  Felipe R. Monteiro and
                  Daniel Schwartz{-}Narbonne and
                  Serdar Tasiran and
                  Michael Tautschnig and
                  Mark R. Tuttle},
  title        = {Code-level model checking in the software development workflow at
                  Amazon Web Services},
  journal      = {Softw. Pract. Exp.},
  volume       = {51},
  number       = {4},
  pages        = {772--797},
  year         = {2021},
  url          = {https://doi.org/10.1002/spe.2949},
  doi          = {10.1002/SPE.2949},
  timestamp    = {Fri, 14 May 2021 08:34:03 +0200},
  biburl       = {https://dblp.org/rec/journals/spe/ChongCEKKMSTTT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.