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