Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
leon [2015/02/05 10:44] vkuncak |
leon [2015/02/05 10:44] vkuncak |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Leon System for Program Verification, Synthesis and Repair ====== | + | ====== Leon System for Verification, Synthesis and Repair ====== |
{{1leonway.jpg?480|The One, Leon Way}} | {{1leonway.jpg?480|The One, Leon Way}} |