Login / Signup

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

Mohamed A. El-Zawawy
Published in: ICCSA (5) (2013)
Keyphrases