![](/img/cover-not-exists.png)
JRF-E: using model checking to give advice on eliminating memory model-related bugs
Kyung Hee Kim, Tuba Yavuz-Kahveci, Beverly A. SandersVolume:
19
Language:
english
DOI:
10.1007/s10515-012-0109-4
Date:
December, 2012
File:
PDF, 2.15 MB
english, 2012