Automatic program verification

  • ECTS

    4 credits

  • Training structure

    Faculty of Science

Teaching hours

  • Automatic Program Verification - CMLecture6 p.m.
  • Automatic program verification - TutorialTutorials6 p.m.