• High-assurance software laboratory.
  Dependable IT solutions, Innovative businesses and future governance.
  Uustalu, Tarmo https://cs.ioc.ee/lsg/