Incremental Specification with SCTL/MUS-T: A Case Study

Áreas de investigación:	Sin categoría	Año:	2004
Tipo de publicación:	Artículo
Autores:	4, 5 2
Journal:	Journal of Systems and Software	Volumen:	70
Número:	1-2	Páginas:	189-208
Mes:	Febrero
BibTex:
@article{FPGDGB04, author = "4,2,5,3,12,Ana Bel{\'e}n Barrag{\'a}ns Mart{\'i}nez", journal = "Journal of Systems and Software", month = "feb", number = "1-2", pages = "189-208", title = "{I}ncremental {S}pecification with {SCTL}/{MUS}-{T}: {A} {C}ase {S}tudy", volume = "70", year = "2004", }