RUS
ENG
Full version
PEOPLE
Tsitelov Dmitrii Igorevich
Publications in Math-Net.Ru
Data race detection in Java programs using synchronization contracts
Sistemy i Sredstva Inform.
,
24
:2 (2014),
114–130
©
Steklov Math. Inst. of RAS
, 2024