Generación de Pruebas del Sistema a Partir de la Especificación Funcional.

Aquesta tesi apareix a les col·leccions següents