Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
svtp17 [2017/02/21 09:57] vkuncak |
svtp17 [2017/02/21 10:01] vkuncak |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Software Reliability and Theorem Proving Workshop ====== | + | ====== Software Reliability and Constraint Solving Workshop ====== |
| Date: 8 March 2017 | Date: 8 March 2017 | ||