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

BibTex:
Research areas:	Uncategorized	Year:	2000
Type of Publication:	Phd Thesis
Authors:	García Duque, Jorge
University:	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", }
Comments:	PhD Advisor: José J. Pazos Arias
Online version