Document Preview
  • Full Text
  • Dissertation or Thesis

Improving the scalability of directed model checking of concurrent java code through hybrid and distributed analysis

. 
 The University of Alabama at Birmingham ProQuest Dissertations & Theses,  2016. 10149581.