Detection of Probabilistic Dangling References in Multi-core Programs Using Proof-Supported Tools.

Mohamed A. El-Zawawy

Browse the full ICCSA paper archive.