@dblp

chi-SUDS-SDL: A Tool for Diagnosis and Understanding Software Specifications.

, and . APSEC, page 274-. IEEE Computer Society, (1999)

Links and resources

Tags