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