High-assurance software laboratory.Dependable IT solutions, Innovative businesses and future governance. Uustalu, Tarmo  

Laboratory for compositional systems and methods.Dependable IT solutions. Sobociński, Paweł Maria