التفاصيل البيبلوغرافية
| العنوان: |
A Semantics of Structures, Unions, and Underspecified Terms for Formal Specification |
| المؤلفون: |
Gauthier, Louis, Prevosto, Virgile, Signoles, Julien |
| المصدر: |
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. :100-110 Apr, 2024 |
| Relation: |
2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) |
| قاعدة البيانات: |
IEEE Xplore Digital Library |
Full Text Finder