Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Abkhaz
Afrikaans
Arabic
Bashkir
Chinese
Czech
English
Esperanto
Estonian
Finnish
French
Georgian
German
Hungarian
Italian
Kalmyk
Latvian
Norwegian Bokmål
Polish
Portuguese
Spanish
Tajik
Turkish
Ukrainian
Vietnamese
Terms
for subject
Software
containing
доказанный
|
all forms
Russian
English
математически
доказанная
корректность кода
mathematically proven code correctness
(
embedded.com
Alex_Odeychuk
)
формально
доказать
корректность
formally prove correctness
(корпорации AdaCore
Alex_Odeychuk
)
Get short URL