RUS
ENG
Full version
PEOPLE
Tchitchigin Alexander
Publications in Math-Net.Ru
Jolie Static Type Checker: a prototype
Model. Anal. Inform. Sist.
,
24
:6 (2017),
704–717
Usability of AutoProof: a case study of software verification
Proceedings of ISP RAS
,
28
:2 (2016),
111–126
Refinement types in jolie
Proceedings of ISP RAS
,
28
:2 (2016),
33–44
©
Steklov Math. Inst. of RAS
, 2024