Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms for subject
Software
containing
implementation of verification
|
all forms
English
Russian
formal verification of an implementation against a specification
формальная верификация реализации на соответствие спецификации
(
adacore.com
Alex_Odeychuk
)
Get short URL