diff --git a/Notes on Papers/Formal requirements elicitation with FRET.md b/Notes on Papers/Formal requirements elicitation with FRET.md index 2303cb7ce..2e8e2c945 100644 --- a/Notes on Papers/Formal requirements elicitation with FRET.md +++ b/Notes on Papers/Formal requirements elicitation with FRET.md @@ -3,7 +3,7 @@ This is a weird one. This paper is essentially just a 'state-of-the-FRET' paper **Context:** - +FRET comes from NASA and is **Correctness:** **Contributions:**