GitHub repository: klucsikdavid/ivt-lab-1
Primary language: Java
Description: Lab exercises for the Integration and Verification Techniques course