RUS
ENG
Full version
PEOPLE
Mordan Vitaliy Olegovich
Publications in Math-Net.Ru
Combination of static verification methods for checking requirements composition
Proceedings of ISP RAS
,
29
:3 (2017),
151–170
©
Steklov Math. Inst. of RAS
, 2024
