RUS
ENG
Full version
PEOPLE
de Carvalho Daniel
Publications in Math-Net.Ru
Jolie Static Type Checker: a prototype
Model. Anal. Inform. Sist.
,
24
:6 (2017),
704–717
©
Steklov Math. Inst. of RAS
, 2024
