Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
English
Russian
Terms
for subject
Software
containing
Verification Program
|
all forms
English
Russian
tool for formal program verification
инструмент формальной верификации программ
(
adacore.com
Alex_Odeychuk
)
Get short URL
