![](/img/cover-not-exists.png)
[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - On the verification problem for weak memory models
Atig, Mohamed Faouzi, Bouajjani, Ahmed, Burckhardt, Sebastian, Musuvathi, MadanlalYear:
2010
Language:
english
DOI:
10.1145/1706299.1706303
File:
PDF, 779 KB
english, 2010