Difference between revisions of "Proving a System"

From SEBoK
Jump to navigation Jump to search
(moved Proving a System to Implementing and Proving a Solution: CM request - approved and updated 2/3/12)
 
m (Text replacement - "SEBoK v. 2.9, released 20 November 2023" to "SEBoK v. 2.10, released 06 May 2024")
 
(14 intermediate revisions by 4 users not shown)
Line 1: Line 1:
 
#REDIRECT [[Implementing and Proving a Solution]]
 
#REDIRECT [[Implementing and Proving a Solution]]
 +
<center>'''SEBoK v. 2.10, released 06 May 2024'''</center>

Latest revision as of 22:23, 2 May 2024

SEBoK v. 2.10, released 06 May 2024