Back to Results
First PageMeta Content
Memory / Neuropsychological assessment / Cognitive science / Epistemology / Microcontrollers / Computer display standards / Integrated circuits


Software Verification for Weak Memory via Program Transformation⋆ Jade Alglave1,2 , Daniel Kroening2, Vincent Nimal2 , and Michael Tautschnig2,3 1 3
Add to Reading List

Document Date: 2013-01-23 08:25:46


Open Document

File Size: 364,01 KB

Share Result on Facebook
UPDATE