%0 Journal Article %1 journals/spe/ChongCEKKMSTTT21 %A Chong, Nathan %A Cook, Byron %A Eidelman, Jonathan %A Kallas, Konstantinos %A Khazem, Kareem %A Monteiro, Felipe R. %A Schwartz-Narbonne, Daniel %A Tasiran, Serdar %A Tautschnig, Michael %A Tuttle, Mark R. %D 2021 %J Softw. Pract. Exp. %K dblp %N 4 %P 772-797 %T Code-level model checking in the software development workflow at Amazon Web Services. %U http://dblp.uni-trier.de/db/journals/spe/spe51.html#ChongCEKKMSTTT21 %V 51

@article{journals/spe/ChongCEKKMSTTT21, added-at = {2021-05-14T00:00:00.000+0200}, author = {Chong, Nathan and Cook, Byron and Eidelman, Jonathan and Kallas, Konstantinos and Khazem, Kareem and Monteiro, Felipe R. and Schwartz-Narbonne, Daniel and Tasiran, Serdar and Tautschnig, Michael and Tuttle, Mark R.}, biburl = {https://www.bibsonomy.org/bibtex/229beafbc27a3f7830eb31b6c3ef3ff0d/dblp}, ee = {https://doi.org/10.1002/spe.2949}, interhash = {35bc5bad70323060e14f2c0a7ffae159}, intrahash = {29beafbc27a3f7830eb31b6c3ef3ff0d}, journal = {Softw. Pract. Exp.}, keywords = {dblp}, number = 4, pages = {772-797}, timestamp = {2024-04-09T06:40:02.000+0200}, title = {Code-level model checking in the software development workflow at Amazon Web Services.}, url = {http://dblp.uni-trier.de/db/journals/spe/spe51.html#ChongCEKKMSTTT21}, volume = 51, year = 2021 }