Difference between revisions of "Proving a System"
Jump to navigation
Jump to search
m (Text replacement - "SEBoK v. 1.9.1 released 16 October 2018" to "<center>'''SEBoK v. 2.1, released 31 October 2019'''</center>") |
m (Text replacement - "'''SEBoK v. 2.1, released 31 October 2019'''" to "'''SEBoK v. 2.2, released 15 May 2020'''") |
||
| Line 1: | Line 1: | ||
#REDIRECT [[Implementing and Proving a Solution]] | #REDIRECT [[Implementing and Proving a Solution]] | ||
| − | <center>'''SEBoK v. 2. | + | <center>'''SEBoK v. 2.2, released 15 May 2020'''</center> |
Revision as of 08:00, 13 May 2020
Redirect to: