Detection of Races and Control-Flow Nondeterminism

@inproceedings{Feng1998DetectionOR,
  title={Detection of Races and Control-Flow Nondeterminism},
  author={Ming-Dong Feng and Chung-Kwong Yuen},
  booktitle={LCR},
  year={1998}
}