Login / Signup

A Verification Framework for Assembly Programs Under Relaxed Memory Model Using SMT Solver.

Pattaravut MaleehuanYuki ChibaToshiaki Aoki
Published in: IEICE Trans. Inf. Syst. (2018)
Keyphrases