مؤتمر
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 |
كن أول من يترك تعليقا!