مؤتمر
Formally Verified Interval Arithmetic and Its Application to Program Verification
العنوان: | Formally Verified Interval Arithmetic and Its Application to Program Verification |
---|---|
المؤلفون: | Brucker, Achim D., Cameron-Burke, Teddy, Stell, Amy |
المصدر: | 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2024 IEEE/ACM 12th International Conference on. :111-121 Apr, 2024 |
Relation: | 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) |
قاعدة البيانات: | IEEE Xplore Digital Library |
كن أول من يترك تعليقا!