Уважаемые авторы и читатели!
Научный журнал «Formal Aspects of Computing» (ISSN 0934-5043) включён в белый список научных журналов (уровень 3) и базу Web of Science (SCIE, квартиль Q3) и базу Scopus, квартиль Q3.
Издатель: Springer Science+Business Media (GB).
Основные тематики по данным OpenAlex: Formal Methods in Verification, Logic, programming, and type systems, Distributed systems and fault tolerance, Logic, Reasoning, and Knowledge, Model-Driven Software Engineering Techniques.
Журнал работает по модели закрытого доступа.
Включение в белый список подтверждает соответствие издания требованиям к публикациям по медицинским направлениям.
Ниже приведены официальные ссылки и справочные сведения для подготовки рукописи и проверки актуальности журнала.