FORMAL METHODS IN SYSTEM DESIGN

Вы используете устаревший браузер. Пожалуйста, обновите браузер для эффективной работы с сайтом.

Журнал

FORMAL METHODS IN SYSTEM DESIGN

1572-8102, 0925-9856

Scopus WoS CC Crossref DBLP zbMath Inspec Compendex

2 Уровень

Основная информация

FORMAL METHODS IN SYSTEM DESIGN

Название на англ.

-

Название на рус.

1572-8102, 0925-9856

ISSN

Английский

Язык

Нидерланды
США

Страна

Crossref

Агентство регистрации DOI

Профили журнала