Software Verification for Weak Memory via Program Transformation
| Những tác giả chính: | , , , |
|---|---|
| Định dạng: | Conference item |
| Được phát hành: |
2013
|
Search Result 1
Software verification for weak memory via program transformation
Được phát hành 2013
Conference item