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

Research areas:	Uncategorized	Year:	2004
Type of Publication:	Article
Authors:	4, 5 2
Journal:	Journal of Systems and Software	Volume:	70
Number:	1-2	Pages:	189-208
Month:	February
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", }