div class=trans-pagebuttonPage 1button div class=trans-image amp-img class=trans-thumb alt=Page 1: · 6 Adrian Colesa Radu Tudoran and Sebastian Banescu Software ran- dom number generation based on race conditions In Proceedings of the Tenth International Symposium on Symbolic src=https:reader030fdocumentsusreader030viewer20220401035e14b06ddb2a7141523eafdchtml5thumbnails1jpg width=142 height=106 layout=responsive amp-img divdivdiv class=trans-pagebuttonPage 2button div class=trans-image amp-img class=trans-thumb alt=Page 2: · 6 Adrian Colesa Radu Tudoran and Sebastian Banescu Software ran- dom number generation based on race conditions In Proceedings of the Tenth International Symposium on Symbolic src=https:reader030fdocumentsusreader030viewer20220401035e14b06ddb2a7141523eafdchtml5thumbnails2jpg width=142 height=106 layout=responsive amp-img divdivdiv class=trans-pagebuttonPage 3button div class=trans-image amp-img class=trans-thumb alt=Page 3: · 6 Adrian Colesa Radu Tudoran and Sebastian Banescu Software ran- dom number generation based on race conditions In Proceedings of the Tenth International Symposium on Symbolic src=https:reader030fdocumentsusreader030viewer20220401035e14b06ddb2a7141523eafdchtml5thumbnails3jpg width=142 height=106 layout=responsive amp-img divdivdiv class=trans-pagebuttonPage 4button div class=trans-image amp-img class=trans-thumb alt=Page 4: · 6 Adrian Colesa Radu Tudoran and Sebastian Banescu Software ran- dom number generation based on race conditions In Proceedings of the Tenth International Symposium on Symbolic src=https:reader030fdocumentsusreader030viewer20220401035e14b06ddb2a7141523eafdchtml5thumbnails4jpg width=142 height=106 layout=responsive amp-img divdiv