Formal Methods (2) PDF Print
Formal Methods: Theory And Practice (2) - 17th International School for Computer Science Researchers (second week), Lipari Island, Italy, July 2005
  • Games in System Design and Verification - Prof. Thomas A. Henzinger
  • Relational Logic for Software Design - Prof. Daniel Jackson
  • Software Model Checking - Prof. Sriram Rajamani
  • Practical Static Analysis of Software Systems - Prof. Zohar Manna
 
Next >
[ Back ]