Browsing by Author Федюкович Григорий Геннадьевич
Showing results 1 to 2 of 2
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2018 | Compositional partially defined types in symbolic interpreter for the .NET Framework | Мисонижник Александр Владимирович; Misonizhnik Aleksandr | |
2018 | Implementation of the synchronizing constrained Horn solver | Черниговская Лидия Александровна; Chernigovskaia Lidiia |