High-assurance software laboratory
.
Dependable IT solutions
,
Innovative businesses and future governance
.
Uustalu, Tarmo
https://cs.ioc.ee/lsg/
Veltri, Niccolò
tarkvarateaduse instituut
,
nooremprofessor
At TalTech: 2012-2017, 2019-
https://orcid.org/0000-0002-7230-3436
https://www.webofscience.com/wos/author/rid/AAK-1292-2020
https://scholar.google.com/citations?user=fvCxkLkAAAAJ