Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal

BibTex:
Áreas de investigación:	Sin categoría	Año:	2000
Tipo de publicación:	Tesis de doctorado
Autores:	García Duque, Jorge
Universidad:	Universidad de Vigo


@phdthesis{PHDT00a, author = "Garc{\'i}a Duque, Jorge", school = "Universidad de Vigo", title = "{E}specificaci{\'o}n, verificaci{\'o}n y mantenimiento de requisitos funcionales con t{\'e}cnicas de descripci{\'o}n formal", url = "http://nortia.det.uvigo.es/grupo/images/pdf/tesis/tesis-jorge.pdf", year = "2000", }
Comentarios:	PhD Advisor: José J. Pazos Arias
Version online