التفاصيل البيبلوغرافية
العنوان: |
Assembly program verification for multiprocessors with relaxed memory model using SMT solver |
المؤلفون: |
Maleehuan, Pattaravut, Chiba, Yuki, Aoki, Toshiaki |
المصدر: |
2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) Theoretical Aspects of Software Engineering (TASE), 2017 International Symposium on. :1-8 Sep, 2017 |
Relation: |
2017 International Symposium on Theoretical Aspects of Software Engineering (TASE) |
قاعدة البيانات: |
IEEE Xplore Digital Library |