Laboratory for compositional systems and methods. Dependable IT solutions. Sobociński, Paweł Maria 1978 Loregian, Fosco 1987tarkvarateaduse instituutjäreldoktor-teadur2020-