 | Guest Lecture on Proof Carrying Code |
|
Dear course participants, as announced, Hans-Wolfgang-Loidl will give a guest lecture on June 22; I have put a syllabus of his lecture to the course web site (electronic slide copies will follow). The content of this presentation is also subject of the final exam. Regards, WS |
Formal Methods in Software Development (SS 2006)
|