Linas Laibinis Verification of Signalling Programs with SafeCap 37th International Conference on Computer Safety, Reliability, and Security, September 18-21, 2018, Vasteros, Sweden
Siekdami užtikrinti jums teikiamų paslaugų kokybę, Universiteto tinklalapiuose naudojame slapukus. Tęsdami naršymą jūs sutinkate su Vilniaus universiteto slapukų politika. Daugiau informacijos