Formal Methods in Software Development (SS 2007)
Jump to...
RISC Environment
MS Windows Users
RISC
»
FormalMethods07
»
Forums
»
News forum
» Results of Exercise 4 + Exam
Display replies flat, with oldest first
Display replies flat, with newest first
Display replies in threaded form
Display replies in nested form
Results of Exercise 4 + Exam
by
Wolfgang Schreiner
- Friday, 13 July 2007, 04:20 PM
... are now online in the restricted area.
I will issue the grades in KUSSS now; if you want to improve,
please contact me for an oral exam.
Regards, WS
Reply
