Software Verification for Weak Memory via Program Transformation

Software Verification for Weak Memory via Program Transformation

अन्य संस्करण दिखाएं (1)
ग्रंथसूची विवरण
मुख्य लेखकों: Alglave, J, Kroening, D, Nimal, V, Tautschnig, M
स्वरूप: Conference item
प्रकाशित: 2013
विवरण
सारांश:

समान संसाधन