Browsing by Author Ozertsov Alexander
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
![]() | 2017 | Verification thread-safe data structures by controllable synchronisation points | Озерцов Александр Сергеевич; Ozertsov Alexander |