Project Seminar Formal Methods in Computer Science (SS 2006)
Jump to...
The RISC Proof Navigator - Second Status Report
Transparencies 1 to 3 (1310 KB)
Transparencies 4 to 6 (1709 KB)
Transparencies 7 to 9 (1637 KB)
Transparencies 10 to 12 (1886 KB)
Transparencies 13 to 15 (1834 KB)
Transparencies 16 to 18 (1463 KB)
Querying Registry-Published Mathematical Web Services
Acceleration of the optimization in SEE++
Report on the AINA 2006 Conference
The RISC Proof Navigator - Third Status Report
Automatic Verification of Parameterized Data Structures
Embounded Project (Abstract)
EmBounded: Automatic Prediction of Resource Bounds...
Reasoning about Object Structure Using the Ownersh...
Reasoning about Programs with Pointer Structures U...
RISC
»
FMSEM06S
»
Forums
»
News forum
» Presentation onf June 22
Display replies flat, with oldest first
Display replies flat, with newest first
Display replies in threaded form
Display replies in nested form
Presentation onf June 22
by
Wolfgang Schreiner
- Wednesday, 7 June 2006, 10:12 AM
Hans-Wolfgang Loidl will give in the frame of the seminar on June 22
a presentation, see the seminar Web site for the abstract.
Regards, Wolfgang
Reply