High-assurance software laboratory
.
Dependable IT solutions
,
Innovative businesses and future governance
.
Uustalu, Tarmo
https://cs.ioc.ee/lsg/
Kuusik, Norman
tarkvarateaduse instituut
,
tarkvaraarendaja
At TalTech: 2023-2024
https://orcid.org/0009-0005-3117-290X