· 6. Adrian Colesa, Radu Tudoran, and Sebastian Banescu. Software ran- dom number generation...
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