Login / Signup

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

Lan LinJesse H. PooreRobert EschbachRobert M. HieronsChristopher Robinson-Mallett
Published in: FASE (2013)
Keyphrases