View in EDS HTML Full Text PDF Full Text

Code‐level model checking in the software development workflow at Amazon Web Services.

Saved in:
Bibliographic Details
Title: Code‐level model checking in the software development workflow at Amazon Web Services.
Authors: Chong, Nathan1, Cook, Byron1,2, Eidelman, Jonathan1, Kallas, Konstantinos3, Khazem, Kareem1, Monteiro, Felipe R.1, Schwartz‐Narbonne, Daniel1, dsn@amazon.com, Tasiran, Serdar1, Tautschnig, Michael1,4, Tuttle, Mark R.1
Source: Software: Practice & Experience; Apr2021, Vol. 51 Issue 4, p772-797, 26p
Database: Applied Science & Technology Source
Full text is not displayed to guests.
Description
ISSN:00380644
DOI:10.1002/spe.2949