Eintrag weiter verarbeiten
Buchumschlag von Code‐level model checking in the software development workflow at Amazon Web Services
Verfügbar über Online-Ressource

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

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Software: Practice and Experience
Personen und Körperschaften: Chong, Nathan, Cook, Byron, Eidelman, Jonathan, Kallas, Konstantinos, Khazem, Kareem, Monteiro, Felipe R., Schwartz‐Narbonne, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.
In: Software: Practice and Experience, 51, 2021, 4, S. 772-797
Medientyp: E-Article
Sprache: Englisch
veröffentlicht:
Wiley
Schlagwörter: