Automatic program check

  • ECTS

    4 credits

  • Training structure

    Faculty of Science

Teaching hours

  • Automatic program verification - CMLecture18h
  • Automatic program verification - TDTutorial18h