Document Preview
  • Full Text
  • Dissertation or Thesis

Formal modeling and automated verification of design patterns

. 
 The University of Texas at Dallas ProQuest Dissertations & Theses,  2010. 3414930.