مؤتمر
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks
| العنوان: | Inference and Test Generation Using Program Invariants in Chemical Reaction Networks |
|---|---|
| المؤلفون: | Gerten, Michael C., Marsh, Alexis L., Lathrop, James I., Cohen, Myra B., Miner, Andrew S., Klinge, Titus H. |
| المصدر: | 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2022 IEEE/ACM 44th International Conference on. :1193-1205 May, 2022 |
| Relation: | 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder كن أول من يترك تعليقا!