Difference between revisions of "Proving a System"
Jump to navigation
Jump to search
m (Text replacement - "{{DISQUS}}" to "SEBoK v. 1.9.1 released 5 October 2018") |
m (Text replacement - "released 5 October" to "released 16 October") |
||
Line 1: | Line 1: | ||
#REDIRECT [[Implementing and Proving a Solution]] | #REDIRECT [[Implementing and Proving a Solution]] | ||
− | SEBoK v. 1.9.1 released | + | SEBoK v. 1.9.1 released 16 October 2018 |
Revision as of 16:02, 17 December 2018
Redirect to:
SEBoK v. 1.9.1 released 16 October 2018