On the Verification Problem for Weak Memory Models - Sciweavers

35

click to vote

more POPL 2010 ...

research.microsoft.com

Tweet