RUS
ENG
Full version
PEOPLE
Chernenko Ivan Mikhailovich
Publications in Math-Net.Ru
Requirement patterns in deductive verification of poST programs
Model. Anal. Inform. Sist.
,
31
:1 (2024),
6–31
©
Steklov Math. Inst. of RAS
, 2024