Stem ratsi$ (all stems)
1 papers:
CAV-2010-BloemCGHKRSS #analysis #named #requirements #synthesis- RATSY — A New Requirements Analysis Tool with Synthesis (RB, AC, KG, GH, RK, MR, VS, RS), pp. 425–429.
CAV-2010-BloemCGHKRSS #analysis #named #requirements #synthesis