Document Preview
  • Full Text
  • Dissertation or Thesis

Toward a concurrent programming model with modular reasoning

. 
 Iowa State University ProQuest Dissertations & Theses,  2016. 10167761.