Requirements Elicitation, Formalization, and Analysis with FRET: A Tutorial.

Anastasia Mavridou, Andreas Katis, Mari A. Aoki, Marie Farrell

Browse the full FM paper archive.