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:43] vkuncak |
leon [2015/02/05 10:44] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== The Leon System for Program Verification, Synthesis and Repair ====== | + | ====== Leon System for Program Verification, Synthesis and Repair ====== |
| {{1leonway.jpg?480|The One, Leon Way}} | {{1leonway.jpg?480|The One, Leon Way}} | ||