Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Bulgarian
Chinese
French
Russian
Ukrainian
Terms for subject
Information technology
containing
formal proof
|
all forms
English
Russian
formal program proof
формальное доказательство правильности программы
Get short URL