Formal Methods in Software Development (SS 2007)
Jump to...
RISC Environment
MS Windows Users
RISC
»
FormalMethods07
»
Forums
»
News forum
» PCC Slides
Display replies flat, with oldest first
Display replies flat, with newest first
Display replies in threaded form
Display replies in nested form
PCC Slides
by
Wolfgang Schreiner
- Tuesday, 26 June 2007, 08:15 AM
Dear students,
the slide set for the class on PCC this Thursday is online
(see "Reading List" in the corresponding section).
Regards, WS
Reply