Software Engineering & Programming Language Lab
The Software Engineering & Programming Language Lab provides support in a variety of techniques and technologies aimed at increasing the reliability of your software. These techniques range from tests and reviews to formal methods that enable proofs of critical properties of entire systems.
News
ZuriHac 2022 at the OST-RJ
05.10.2022
After the last two years as a virtual event, ZuriHac 2022 took place as a physical event with around 400 participants all over the world. The event took place from Saturday 11 June to Monday...
After the last two years as a virtual event, ZuriHac 2022 took place as a physical event with around 400 participants all over the world. The event...