Authors: SIDDIQI JI MORREY IC ROAST CR OZCAN MB

Citation: Ji. Siddiqi et al., TOWARDS QUALITY REQUIREMENTS VIA ANIMATED FORMAL SPECIFICATIONS, ANNALS OF SOFTWARE ENGINEERING, 3, 1997, pp. 131-155