Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Arabic
Chinese
Dutch
English
Finnish
French
German
Greek
Italian
Japanese
Lithuanian
Polish
Portuguese
Russian
Scottish Gaelic
Serbian Latin
Spanish
Swedish
Ukrainian
Uzbek
Terms
for subject
Software
containing
SEMI
|
all forms
|
exact matches only
English
Russian
semi
-formal and formal proofs of correctness
полуформальные и формальные доказательства корректности
(корпорации AdaCore
Alex_Odeychuk
)
Get short URL