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 - 2025/07/09 ER -