Difference between revisions of "About the Project"
Jump to navigation
Jump to search
(Created page with "The IVOIRE project aims to introduce so-called Validation Obligations (VOs) into formal methods. With these VOs it than shall be possible to show whether a certain behavior is...") |
(Redirected page to Ivoire:About) Tag: New redirect |
||
(2 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | + | #REDIRECT [[Ivoire:About]] |
Latest revision as of 09:07, 10 May 2024
Redirect to: