 | Grades for Exercise 4 |
|
... are published in the restricted area of the web site. The only problems were related to specifications or loop invariants that were too weak or wrong, I have sent out individual emails explaining the problems. Regards, WS |
Formal Methods in Software Development (SS 2006)
|