DictionaryForumContacts

Google | Forvo | +

symbolic model verifier

stresses
progr. символьный верификатор моделей (сокр. SMV ssn)
 English thesaurus
Symbolic Model Verifier
abbr., progr. SMV (ssn)

Add | Report an error | Get short URL