RUS
ENG
Full version
PEOPLE
Galinier F.
Publications in Math-Net.Ru
A contract-based method to specify stimulus-response requirements
Proceedings of ISP RAS
,
29
:4 (2017),
39–54
©
Steklov Math. Inst. of RAS
, 2024
