Formal Methods in Software Development (SS 2006)
Jump to...
RISC Environment
MS Windows Users
Course Software for Linux
RISC
»
FormalMethods06
»
Forums
»
News forum
» Specifying and Verifying Java Programs
Display replies flat, with oldest first
Display replies flat, with newest first
Display replies in threaded form
Display replies in nested form
Specifying and Verifying Java Programs
by
Wolfgang Schreiner
- Wednesday, 22 March 2006, 11:23 AM
I have added two slide sets and examples to the corresponding
section of the course page; this material covers almost 2/3
of the course.
Regards, WS
Reply