مؤتمر
Verifying Object Construction
العنوان: | Verifying Object Construction |
---|---|
المؤلفون: | Kellogg, Martin, Ran, Manli, Sridharan, Manu, Schaf, Martin, Ernst, Michael D. |
المصدر: | 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2020 IEEE/ACM 42nd International Conference on. :1447-1458 Oct, 2020 |
Relation: | 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781450371216 |
---|---|
تدمد: | 15581225 |