Formal Methods in Software Development (SS 2006)
Jump to...
RISC Environment
MS Windows Users
Course Software for Linux
RISC
»
FormalMethods06
»
Forums
»
News forum
» Exercise 5 & Exam Results
Display replies flat, with oldest first
Display replies flat, with newest first
Display replies in threaded form
Display replies in nested form
Exercise 5 & Exam Results
by
Wolfgang Schreiner
- Monday, 10 July 2006, 11:36 AM
Dear course participants,
I have posted the results of exercise 5 and the exam at the Web server;
course certificates are issued in a couple of days.
Enjoy your vacation!
Regards,
Wolfgang
Reply