التفاصيل البيبلوغرافية
العنوان: |
Code-Level Model Checking in the Software Development Workflow |
المؤلفون: |
Chong, Nathan, Cook, Byron, Kallas, Konstantinos, Khazem, Kareem, Monteiro, Felipe R., Schwartz-Narbonne, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R. |
المصدر: |
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) ICSE-SEIP Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2020 IEEE/ACM 42nd International Conference on. :11-20 Oct, 2020 |
Relation: |
2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) |
قاعدة البيانات: |
IEEE Xplore Digital Library |