مؤتمر
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 |
Full Text Finder | ردمك: | 9781450371216 |
|---|---|
| تدمد: | 15581225 |