Title
I compute, therefore I am (buggy): methodic doubt meets multiprocessors.
Year
Venue
DocType
2015
TinyToCS
Journal
Volume
Citations 
PageRank 
3
0
0.34
References 
Authors
3
4
Name
Order
Citations
PageRank
Jade Alglave160826.53
Luc Maranget280849.83
Daniel Poetzl3704.04
Tyler Sorensen41099.42