Difference between revisions of "Proving a System"

From SEBoK
Jump to navigation Jump to search
m (Text replacement - "SEBoK v. 2.9, released 13 November 2023" to "SEBoK v. 2.9, released 20 November 2023")
 
(12 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 
#REDIRECT [[Implementing and Proving a Solution]]
 
#REDIRECT [[Implementing and Proving a Solution]]
{{DISQUS}}
+
<center>'''SEBoK v. 2.9, released 20 November 2023'''</center>

Latest revision as of 23:36, 18 November 2023

SEBoK v. 2.9, released 20 November 2023