[Pay Per View]  confirm


Vol/No/Title/Authors number Price(including tax)
Vol.E101-D No.12
A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver
Pattaravut MALEEHUAN, Yuki CHIBA, Toshiaki AOKI,
1 ¥3240
Total: ¥3,240