• High-assurance software laboratory.
    Dependable IT solutions, Innovative businesses and future governance.
    Uustalu, Tarmo https://cs.ioc.ee/lsg/
  • Vain, Jüritarkvarateaduse instituut, kaasprofessorAt TalTech: 1988-https://orcid.org/0000-0002-0700-7972 https://www.webofscience.com/wos/author/rid/J-4717-2018 https://scholar.google.com/citations?hl=en&user=cYntkuEAAAAJ https://www.scopus.com/authid/detail.uri?authorId=13905505300 https://taltech.ee/kontaktid/tugevalt-tagatud-tarkvara-laboratoorium/juri-vain