High-assurance software laboratory
.
Dependable IT solutions
,
Innovative businesses and future governance
.
Uustalu, Tarmo
https://cs.ioc.ee/lsg/
Kanter, Gert
tarkvarateaduse instituut
,
vanemlektor
At TalTech: 2015-
https://orcid.org/0000-0002-8201-8540
https://scholar.google.com/citations?user=BLDhqYYAAAAJ&hl=en&oi=ao