High-assurance software laboratory.Dependable IT solutions, Innovative businesses and future governance. Uustalu, Tarmo Kuusik, Normantarkvarateaduse instituut, tarkvaraarendajaAt TalTech: 2023-2024