Project Seminar Formal Methods in Computer Science (SS 2007)
Jump to...
News forum
Transparencies 32 to 34 (1.5 MB)
Transparencies 35 to 37 (1.5 MB)
Transparencies 38 to 40 (1.6 MB)
Transparencies 41 to 43 (1.8 MB)
Transparencies 44 to 45 (1 MB)
Biological Processes as Concurrent Systems (Part 1)
Biological Processes as Concurrent Systems (Part 2)
Logical Aspects of Algorithm Verification
Discovering and Debugging Algebraic Specifications
Using CA Techniques (Mathematica Notebook)
Using CA Techniques (PDF)
Presentation
Slides
Tree Query and Transformation Techniques
Proving Termination
Presentation
RISC
»
FMSEM07S
» Participants
User list:
Less detailed
More detailed
Lecturers
1 Student
First name
/
Surname
City/town
Country
Last access
Gergely Dévai
Budapest
Hungary
462 days 20 hours