Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Arabic
Chinese
Dutch
English
Finnish
French
German
Greek
Italian
Portuguese
Russian
Serbian Latin
Spanish
Swedish
Ukrainian
Terms
for subject
Programming
containing
proofing
|
all forms
English
Russian
automation of
proofs
автоматизация доказательства правильности программ
(корпорации AdaCore
Alex_Odeychuk
)
Get short URL