- Preview Available
- Dissertation or Thesis
Automatic generation and verification of complex pattern-based software specifications
Automatic generation and verification of complex pattern-based software specificationsGarcia, Luis Alexandro.
The University of Texas at El Paso ProQuest Dissertations & Theses, 2007. 1445692.





