From b3294f3a72518f831507931af0586222afc2133f Mon Sep 17 00:00:00 2001 From: Dane Sabo Date: Mon, 21 Jul 2025 22:09:38 -0400 Subject: [PATCH] vault backup: 2025-07-21 22:09:38 --- Notes on Papers/Formal requirements elicitation with FRET.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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:**