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