A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver
['Pattaravut MALEEHUAN', 'Yuki CHIBA', 'Toshiaki AOKI']
/
IEICE Transactions in Information and Systems
/ Vol. 101
/ No. 12
まだレビューは投稿されていません。あなたが最初のレビューを書きませんか？