Automatic System Analysis and Verification (2009/2010)

  1. Home
  2. Teaching
  3. Master’s degrees (no longer running)
  4. Masters in Computer Science
  5. Insegnamenti

Course partially running

Course code
4S00051
Credits
5
Course news Seminars related to the course
The course is given by Static analysis and code protection (2009/2010) - Master's degree in Computer Science and Engineering
Share