Software Verification for Weak Memory via Program Transformation
Príomhchruthaitheoirí: | , , , |
---|---|
Formáid: | Conference item |
Foilsithe / Cruthaithe: |
2013
|
Search Result 1
Software verification for weak memory via program transformation
Foilsithe / Cruthaithe 2013
Conference item