Metrics for Multithreaded Java Program Verification

@inproceedings{Salem2005MetricsFM,
  title={Metrics for Multithreaded Java Program Verification},
  author={Ahmed Salem and Varun Sharam},
  booktitle={Software Engineering Research and Practice},
  year={2005}
}

Topics from this paper.

Similar Papers

Loading similar papers…