Stem frorl$ (all stems)
1 papers:
SEKE-1993-TsaiLN #approach #debugging #requirements #specification- Debugging Logic-Based Requirements Specifications — a FRORL Approach (JJPT, AL, KRN), pp. 372–379.
SEKE-1993-TsaiLN #approach #debugging #requirements #specification