TY  - CONF

T1  - Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification

PY  - 2013/03/04

AU  - Lin L

AU  - Poore JH

AU  - Eschbach R

AU  - Hierons RM

AU  - Robinson-Mallett C

ED  - 

DO  - DOI: 10.1007/978-3-642-37057-1_13

PB  - Springer Berlin Heidelberg

SN  - 9783642370564

SP  - 179

EP  - 193

Y2  - 2024/12/22

ER  -