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
» Title of my talk on Thursday
Display replies flat, with oldest first
Display replies flat, with newest first
Display replies in threaded form
Display replies in nested form
Title of my talk on Thursday
by
Franz Lichtenberger
- Monday, 27 March 2006, 04:19 PM
Please notice that I just entered the title of my talk on the course homepage, it is:
Logic-independence of specification formalisms: the institution level.
-franz
Reply