- Preview Available
- Dissertation or Thesis
Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis
Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysisMilewicz, Reed Morgan.
The University of Alabama at Birmingham ProQuest Dissertations & Theses, 2016. 10149581.





