Difference between revisions of "Proving a System"
Jump to navigation
Jump to search
m (Text replacement - "<center>'''SEBoK v. 2.7, released 31 October 2022'''</center>" to "<center>'''SEBoK v. 2.8, released 31 May 2023'''</center>") |
m (Text replacement - "<center>'''SEBoK v. 2.8, released 31 May 2023'''</center>" to "<center>'''SEBoK v. 2.9, released 13 November 2023'''</center>") |
||
| Line 1: | Line 1: | ||
#REDIRECT [[Implementing and Proving a Solution]] | #REDIRECT [[Implementing and Proving a Solution]] | ||
| − | <center>'''SEBoK v. 2. | + | <center>'''SEBoK v. 2.9, released 13 November 2023'''</center> |
Revision as of 19:00, 22 October 2023
Redirect to: