RUS
ENG
Full version
JOURNALS
// Informatsionnye Tekhnologii i Vychslitel'nye Sistemy
// Archive
Informatsionnye Tekhnologii i Vychslitel'nye Sistemy,
2005
Issue 1,
Pages
49–67
(Mi itvs605)
PROGRAM SOFTWARE
Математическая модель и методы верификации программных систем
A. M. Mironov
,
D. Yu. Zhukov
Fulltext:
PDF file (1765 kB)
©
Steklov Math. Inst. of RAS
, 2024
Fulltext:
PDF file (1765 kB)